CLIF

URI: https://gptkb.org/entity/CLIF
GPTKB entity
Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:language
gptkbp:fileExtension .clif
gptkbp:fullName gptkb:Common_Logic_Interchange_Format
https://www.w3.org/2000/01/rdf-schema#label CLIF
gptkbp:introducedIn 2007
gptkbp:partOf gptkb:Common_Logic
gptkbp:relatedTo gptkb:CIF
gptkb:KIF
gptkb:OWL
gptkbp:standardizedBy gptkb:ISO/IEC
gptkbp:supports gptkb:first-order_logic
gptkbp:usedFor gptkb:knowledge_representation
gptkbp:usedIn gptkb:artificial_intelligence
ontology engineering
gptkbp:bfsParent gptkb:Common_Logic
gptkbp:bfsLayer 7