Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| habitatOfOrganism |
| appearance as argument number 1 |
|
| (instance habitatOfOrganism BinaryPredicate) | Mid-level-ontology.kif 33023-33023 | |
| (domainSubclass habitatOfOrganism 1 Organism) | Mid-level-ontology.kif 33024-33024 | |
| (domain habitatOfOrganism 2 GeographicArea) | Mid-level-ontology.kif 33025-33025 | |
| (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 33027-33032 |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (habitatOfOrganism ?O ?L) (modalAttribute (exists (?OI) (and (instance ?OI ?O) (inhabits ?OI ?L))) Likely)) |
Mid-level-ontology.kif 33034-33041 | |
| (=> (habitatOfOrganism ?O ?L) (not (subclass ?O DomesticAnimal))) |
Mid-level-ontology.kif 33043-33046 |
| appearance as argument number 0 |
|
|
|