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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Ontology
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 22852-22859
(subclass Ontology ClassificationScheme) Mid-level-ontology.kif 22851-22851

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Ontology "本体论") domainEnglishFormat.kif 42182-42182
(termFormat ChineseTraditionalLanguage Ontology "本體論") domainEnglishFormat.kif 42181-42181
(termFormat EnglishLanguage Ontology "ontology") domainEnglishFormat.kif 42180-42180

antecedent
-------------------------


(=>
    (instance ?ONT Ontology)
    (exists (?TAX)
        (and
            (instance ?TAX Taxonomy)
            (abstractPart ?TAX ?ONT))))
Mid-level-ontology.kif 22861-22866


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



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