| appearance as argument number 1 |
|
| (documentation BiologicalSpecies EnglishLanguage "The Class of all biological species, i.e. the class of all classes of Organism whose instances can interbreed.") | Mid-level-ontology.kif 8862-8863 | |
| (subclass BiologicalSpecies Class) | Mid-level-ontology.kif 8861-8861 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BiologicalSpecies "生物物种") | domainEnglishFormat.kif 11135-11135 | |
| (termFormat ChineseTraditionalLanguage BiologicalSpecies "生物物種") | domainEnglishFormat.kif 11134-11134 | |
| (termFormat EnglishLanguage BiologicalSpecies "biological species") | domainEnglishFormat.kif 11133-11133 |
| antecedent |
|
|
| (=> (instance ?SPECIES BiologicalSpecies) (subclass ?SPECIES Organism)) |
Mid-level-ontology.kif 8865-8867 |
|
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