Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb: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
|
| 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:OpenCyc
gptkb:Knowledge_Interchange_Format_(KIF) |
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
CycL
|