CycL language

GPTKB entity

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