Statements (43)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:knowledge_representation_language
|
| gptkbp:developedBy |
gptkb:Cycorp
|
| gptkbp:hasFeature |
gptkb:formal_semantics
gptkb:type_system inheritance variables modularity collections extensibility reification constants functions predicates non-monotonic reasoning expressiveness machine readability meta-knowledge human readability contextual reasoning microtheories argument constraints default reasoning inverse relations logical quantifiers support for inference engines support for large-scale knowledge bases support for natural language processing support for semantic web symmetric relations transitive relations |
| gptkbp:influencedBy |
gptkb:Lisp
|
| gptkbp:similarTo |
gptkb:Lisp
|
| gptkbp:supports |
gptkb:rulebook
predicate logic ontologies frame-based representation |
| gptkbp:usedBy |
gptkb:Cyc
|
| gptkbp:usedFor |
gptkb:artificial_intelligence
ontology engineering encoding knowledge |
| gptkbp:bfsParent |
gptkb:Cyc
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
CycL language
|