| 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 23893-23902 | |
| (subclass Taxonomy ClassificationScheme) | Mid-level-ontology.kif 23892-23892 | Taxonomy is a subclass of classification scheme |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Taxonomy "分类") | domainEnglishFormat.kif 57132-57132 | |
| (termFormat ChineseTraditionalLanguage Taxonomy "分類") | domainEnglishFormat.kif 57131-57131 | |
| (termFormat EnglishLanguage Taxonomy "taxonomy") | domainEnglishFormat.kif 57130-57130 |
| consequent |
|
|
| (=> (instance ?ONT Ontology) (exists (?TAX) (and (instance ?TAX Taxonomy) (abstractPart ?TAX ?ONT)))) |
Mid-level-ontology.kif 23923-23928 |
|
|
|
|