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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 22778-22787
(subclass Taxonomy ClassificationScheme) Mid-level-ontology.kif 22777-22777 TaxonomyClassificationSchemesubclass では %n

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


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

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