| appearance as argument number 1 |
|
| (documentation habitatOfOrganism EnglishLanguage "A relation between a particular GeographicalRegion and an Organism likely to inhabit that region. Although it is possible that the organism inhabits other regions that are not mentioned, either through incidental momentary migration, or in captivity, the likelihood is that it only appears within the given region or regions. In this sense, the relation embodies a closed world assumption.") | Mid-level-ontology.kif 32301-32306 | |
| (domain habitatOfOrganism 2 GeographicArea) | Mid-level-ontology.kif 32299-32299 | habitatOfOrganism の数値 2 引数は 地理的地域 の instance では |
| (domainSubclass habitatOfOrganism 1 Organism) | Mid-level-ontology.kif 32298-32298 | habitatOfOrganism の数値 1 引数は 物 のsubclass では |
| (instance habitatOfOrganism BinaryPredicate) | Mid-level-ontology.kif 32297-32297 | habitatOfOrganism は 2進述語 の instance では |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage habitatOfOrganism "%1 inhabits %2 ") | domainEnglishFormat.kif 3588-3588 | |
| (format ChineseTraditionalLanguage habitatOfOrganism "%1 inhabits %2 ") | domainEnglishFormat.kif 3587-3587 | |
| (format EnglishLanguage habitatOfOrganism "%1 inhabits %2") | domainEnglishFormat.kif 3586-3586 | |
| (termFormat EnglishLanguage habitatOfOrganism "habitat of organism") | domainEnglishFormat.kif 65853-65853 |
| antecedent |
|
|
| (=> (habitatOfOrganism ?O ?L) (modalAttribute (exists (?OI) (and (instance ?OI ?O) (inhabits ?OI ?L))) Likely)) |
Mid-level-ontology.kif 32308-32315 | |
| (=> (habitatOfOrganism ?O ?L) (not (subclass ?O DomesticAnimal))) |
Mid-level-ontology.kif 32317-32320 |
|
| appearance as argument number 0 |
|
|
|
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