Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Ontology

appearance as argument number 1

(documentation Ontology EnglishLanguage "An Ontology is a ClassificationScheme that links concepts via many different relations. Ontologies typically are not restricted to binary relations and are structured by several kinds of conceptual hierarchies, including set- or class-based subsumption, spatial containment, mereology (theory of parts and wholes), and logical contexts. Thus, an ontology typically includes multiple taxonomies.") Mid-level-ontology.kif 22880-22887
(subclass Ontology ClassificationScheme) Mid-level-ontology.kif 22879-22879 Ontology is a subclass of classification scheme

appearance as argument number 2

(termFormat ChineseLanguage Ontology "本体论") domainEnglishFormat.kif 42195-42195
(termFormat ChineseTraditionalLanguage Ontology "本體論") domainEnglishFormat.kif 42194-42194
(termFormat EnglishLanguage Ontology "ontology") domainEnglishFormat.kif 42193-42193


    (instance ?ONT Ontology)
    (exists (?TAX)
            (instance ?TAX Taxonomy)
            (abstractPart ?TAX ?ONT))))
Mid-level-ontology.kif 22889-22894

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners