Taxonomy - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Taxonomy ClassificationScheme)	Mid-level-ontology.kif 25056-25056	Taxonomy is a subclass of classification scheme
(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 25057-25066	Taxonomy is a subclass of classification scheme

appearance as argument number 2

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

consequent

(=>
    (instance ?ONT Ontology)
    (exists (?TAX)
        (and
            (instance ?TAX Taxonomy)
            (abstractPart ?TAX ?ONT))))

If X is an instance of ontology, then there exists Y such that Y is an instance of taxonomy and Y is a part of X