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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Taxonomy

Sigma KEE - Taxonomy
Taxonomy(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 22779-22788
(subclass Taxonomy ClassificationScheme) Mid-level-ontology.kif 22778-22778 Taxonomy is a subclass of classification scheme

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


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

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


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


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