Statements (25)
Predicate | Object |
---|---|
gptkbp:instanceOf |
knowledge representation language
|
gptkbp:basedOn |
gptkb:first-order_logic
|
gptkbp:developedBy |
gptkb:Cycorp
|
gptkbp:documentation |
gptkb:CycL_User's_Guide
|
gptkbp:hasFeature |
gptkb:rulebook
collections constants functions predicates contextual reasoning microtheories |
gptkbp:hasWebsite |
https://cyc.com
|
https://www.w3.org/2000/01/rdf-schema#label |
CycL
|
gptkbp:languageFamily |
gptkb:programming_language
|
gptkbp:license |
proprietary
|
gptkbp:releaseYear |
1984
|
gptkbp:similarTo |
gptkb:Lisp
|
gptkbp:supports |
predicate logic
non-monotonic reasoning frame-based representation |
gptkbp:usedBy |
gptkb:Cyc
|
gptkbp:usedFor |
gptkb:artificial_intelligence
knowledge base construction |
gptkbp:bfsParent |
gptkb:knowledge_representation
|
gptkbp:bfsLayer |
5
|