| appearance as argument number 1 |
|
| (instance habitatOfOrganism BinaryPredicate) | Mid-level-ontology.kif 33041-33041 | habitat of organism is an instance of binary predicate |
| (domainSubclass habitatOfOrganism 1 Organism) | Mid-level-ontology.kif 33042-33042 | The number 1 argument of habitat of organism is a subclass of organism |
| (domain habitatOfOrganism 2 GeographicArea) | Mid-level-ontology.kif 33043-33043 | The number 2 argument of habitat of organism is an instance of geographic area |
| (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 33045-33050 | The number 2 argument of habitat of organism is an instance of geographic area |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (habitatOfOrganism ?O ?L) (modalAttribute (exists (?OI) (and (instance ?OI ?O) (inhabits ?OI ?L))) Likely)) |
Mid-level-ontology.kif 33052-33059 | If X inhabits Y, then the statement there exists Z such that Z is an instance of X and Z lives in Y has the modal force of likely |
| (=> (habitatOfOrganism ?O ?L) (not (subclass ?O DomesticAnimal))) |
Mid-level-ontology.kif 33061-33064 | If X inhabits Y, then X is not a subclass of domestic animal |
| 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