| 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 23062-23071 | |
| (subclass Taxonomy ClassificationScheme) | Mid-level-ontology.kif 23061-23061 | Taxonomy is a subclass of classification scheme |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Taxonomy "分类") | domainEnglishFormat.kif 57139-57139 | |
| (termFormat ChineseTraditionalLanguage Taxonomy "分類") | domainEnglishFormat.kif 57138-57138 | |
| (termFormat EnglishLanguage Taxonomy "taxonomy") | domainEnglishFormat.kif 57137-57137 |
| consequent |
|
|
| (=> (instance ?ONT Ontology) (exists (?TAX) (and (instance ?TAX Taxonomy) (abstractPart ?TAX ?ONT)))) |
Mid-level-ontology.kif 23092-23097 |
|
|
|
|