GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
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