|
|
   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 | Taxonomy は ClassificationScheme の subclass では %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 |
|
|
|