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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Taxonomy

Sigma KEE - Taxonomy
Taxonomy

appearance as argument number 1
-------------------------


(documentation Taxonomy EnglishLanguage "A Taxonomy is a ClassificationScheme that typically includes the salient concepts of a domain of interest, plus, minimally, a binary `broader than'/ `narrower than' relation by which the concepts are linked. The `broader than'/ `narrower than' relation is usually conceived as set- or class-based subsumption, but taxonomies are notorious for conflating the set membership and set subsumption (i.e., subset/ superset) relations into a single `IS-A' relation. Some taxonomies include additional binary relations, such as `subpart'/ `superpart'.") Mid-level-ontology.kif 22831-22840
(subclass Taxonomy ClassificationScheme) Mid-level-ontology.kif 22830-22830 TaxonomyClassificationSchemesubclass では %n

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


(termFormat ChineseLanguage Taxonomy "分类") domainEnglishFormat.kif 57099-57099
(termFormat ChineseTraditionalLanguage Taxonomy "分類") domainEnglishFormat.kif 57098-57098
(termFormat EnglishLanguage Taxonomy "taxonomy") domainEnglishFormat.kif 57097-57097

consequent
-------------------------


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


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