A knowledge representation language used in the Cyc project, which aims to create a comprehensive ontology and knowledge base of human common sense.
A knowledge representation language used in the Cyc project, which aims to create a comprehensive ontology and knowledge base of human common sense.