| 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 32058-32063 | |
| (domain habitatOfOrganism 2 GeographicArea) | Mid-level-ontology.kif 32056-32056 | |
| (domainSubclass habitatOfOrganism 1 Organism) | Mid-level-ontology.kif 32055-32055 | |
| (instance habitatOfOrganism BinaryPredicate) | Mid-level-ontology.kif 32054-32054 |
| 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 65884-65884 |
| antecedent |
|
|
| (=> (habitatOfOrganism ?O ?L) (modalAttribute (exists (?OI) (and (instance ?OI ?O) (inhabits ?OI ?L))) Likely)) |
Mid-level-ontology.kif 32065-32072 | |
| (=> (habitatOfOrganism ?O ?L) (not (subclass ?O DomesticAnimal))) |
Mid-level-ontology.kif 32074-32077 |
| appearance as argument number 0 |
|
|
| (habitatOfOrganism Alligator China) | Mid-level-ontology.kif 21909-21909 | |
| (habitatOfOrganism Alligator UnitedStates) | Mid-level-ontology.kif 21908-21908 | |
| (habitatOfOrganism Badger Africa) | Mid-level-ontology.kif 21924-21924 | |
| (habitatOfOrganism Badger Asia) | Mid-level-ontology.kif 21923-21923 | |
| (habitatOfOrganism Badger Europe) | Mid-level-ontology.kif 21922-21922 | |
| (habitatOfOrganism Badger NorthAmerica) | Mid-level-ontology.kif 21921-21921 | |
| (habitatOfOrganism Bear Asia) | Mid-level-ontology.kif 21938-21938 | |
| (habitatOfOrganism Bear Europe) | Mid-level-ontology.kif 21937-21937 | |
| (habitatOfOrganism Bear NorthAmerica) | Mid-level-ontology.kif 21936-21936 | |
| (habitatOfOrganism Bear SouthAmerica) | Mid-level-ontology.kif 21939-21939 | |
| (habitatOfOrganism Cheetah Africa) | Mid-level-ontology.kif 32263-32263 | |
| (habitatOfOrganism Cheetah Asia) | Mid-level-ontology.kif 32262-32262 | |
| (habitatOfOrganism Crocodile Africa) | Mid-level-ontology.kif 32241-32241 | |
| (habitatOfOrganism Crocodile Asia) | Mid-level-ontology.kif 32239-32239 | |
| (habitatOfOrganism Crocodile Australia) | Mid-level-ontology.kif 32242-32242 | |
| (habitatOfOrganism Crocodile Europe) | Mid-level-ontology.kif 32238-32238 | |
| (habitatOfOrganism Crocodile NorthAmerica) | Mid-level-ontology.kif 32240-32240 | |
| (habitatOfOrganism Crocodile SouthAmerica) | Mid-level-ontology.kif 32243-32243 | |
| (habitatOfOrganism Kangaroo Australia) | Mid-level-ontology.kif 21950-21950 | |
| (habitatOfOrganism Lemur Madagascar) | Mid-level-ontology.kif 32165-32165 | |
| (habitatOfOrganism Lion Africa) | Mid-level-ontology.kif 32049-32049 | |
| (habitatOfOrganism Lion India) | Mid-level-ontology.kif 32050-32050 | |
| (habitatOfOrganism Llama NorthAmerica) | Mid-level-ontology.kif 21959-21959 | |
| (habitatOfOrganism Llama SouthAmerica) | Mid-level-ontology.kif 21958-21958 | |
| (habitatOfOrganism Panda China) | Mid-level-ontology.kif 32182-32182 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
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