Statements (43)
Predicate | Object |
---|---|
gptkbp:instanceOf |
knowledge representation language
|
gptkbp:developedBy |
gptkb:Cycorp
|
gptkbp:hasFeature |
formal semantics
inheritance variables modularity collections extensibility reification constants functions predicates type system 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 |
https://www.w3.org/2000/01/rdf-schema#label |
CycL language
|
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 |
5
|