habitatOfOrganism |
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 30381-30386 | |
(domain habitatOfOrganism 2 GeographicArea) | Mid-level-ontology.kif 30379-30379 | Die Zahl 2 Argument von habitatOfOrganism ist ein fall von GeographicArea %n{nicht} |
(domainSubclass habitatOfOrganism 1 Organism) | Mid-level-ontology.kif 30378-30378 | Die Zahl 1 Argument von habitatOfOrganism ist eine teilkategorie von Organism %n{nicht} |
(instance habitatOfOrganism BinaryPredicate) | Mid-level-ontology.kif 30377-30377 | habitatOfOrganism ist ein fall von BinaryPredicate %n{nicht} |
appearance as argument number 2 |
(format ChineseLanguage habitatOfOrganism "%1 inhabits %2 ") | domainEnglishFormat.kif 3590-3590 | |
(format ChineseTraditionalLanguage habitatOfOrganism "%1 inhabits %2 ") | domainEnglishFormat.kif 3589-3589 | |
(format EnglishLanguage habitatOfOrganism "%1 inhabits %2") | domainEnglishFormat.kif 3588-3588 | |
(termFormat EnglishLanguage habitatOfOrganism "habitat of organism") | domainEnglishFormat.kif 65846-65846 |
antecedent |
(=> (habitatOfOrganism ?O ?L) (modalAttribute (exists (?OI) (and (instance ?OI ?O) (inhabits ?OI ?L))) Likely)) |
Mid-level-ontology.kif 30388-30395 |
|
(=> (habitatOfOrganism ?O ?L) (not (subclass ?O DomesticAnimal))) |
Mid-level-ontology.kif 30397-30400 |
|
appearance as argument number 0 |