Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - habitatOfOrganism
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 28550-28555
(domain habitatOfOrganism 2 GeographicArea) Mid-level-ontology.kif 28548-28548 domain habitatOfOrganism, 2 and GeographicArea
(domainSubclass habitatOfOrganism 1 Organism) Mid-level-ontology.kif 28547-28547 domainSubclass habitatOfOrganism, 1 and Organism
(instance habitatOfOrganism BinaryPredicate) Mid-level-ontology.kif 28546-28546 instance habitatOfOrganism and BinaryPredicate

appearance as argument number 2
-------------------------


(format ChineseLanguage habitatOfOrganism "%1 inhabits %2 ") domainEnglishFormat.kif 3591-3591
(format ChineseTraditionalLanguage habitatOfOrganism "%1 inhabits %2 ") domainEnglishFormat.kif 3590-3590
(format EnglishLanguage habitatOfOrganism "%1 inhabits %2") domainEnglishFormat.kif 3589-3589

antecedent
-------------------------


(=>
    (habitatOfOrganism ?O ?L)
    (modalAttribute
        (exists (?OI)
            (and
                (instance ?OI ?O)
                (inhabits ?O ?L))) Likely))
Mid-level-ontology.kif 28557-28564
(=>
    (habitatOfOrganism ?O ?L)
    (not
        (subclass ?O DomesticAnimal)))
Mid-level-ontology.kif 28566-28569

appearance as argument number 0
-------------------------


(habitatOfOrganism Alligator China) Mid-level-ontology.kif 18046-18046 habitatOfOrganism Alligator and China
(habitatOfOrganism Alligator UnitedStates) Mid-level-ontology.kif 18045-18045 habitatOfOrganism Alligator and UnitedStates
(habitatOfOrganism Badger Africa) Mid-level-ontology.kif 18061-18061 habitatOfOrganism Badger and Africa
(habitatOfOrganism Badger Asia) Mid-level-ontology.kif 18060-18060 habitatOfOrganism Badger and Asia
(habitatOfOrganism Badger Europe) Mid-level-ontology.kif 18059-18059 habitatOfOrganism Badger and Europe
(habitatOfOrganism Badger NorthAmerica) Mid-level-ontology.kif 18058-18058 habitatOfOrganism Badger and NorthAmerica
(habitatOfOrganism Bear Asia) Mid-level-ontology.kif 18075-18075 habitatOfOrganism Bear and Asia
(habitatOfOrganism Bear Europe) Mid-level-ontology.kif 18074-18074 habitatOfOrganism Bear and Europe
(habitatOfOrganism Bear NorthAmerica) Mid-level-ontology.kif 18073-18073 habitatOfOrganism Bear and NorthAmerica
(habitatOfOrganism Bear SouthAmerica) Mid-level-ontology.kif 18076-18076 habitatOfOrganism Bear and SouthAmerica
(habitatOfOrganism Cheetah Africa) Mid-level-ontology.kif 28739-28739 habitatOfOrganism Cheetah and Africa
(habitatOfOrganism Cheetah Asia) Mid-level-ontology.kif 28738-28738 habitatOfOrganism Cheetah and Asia
(habitatOfOrganism Crocodile Africa) Mid-level-ontology.kif 28717-28717 habitatOfOrganism Crocodile and Africa
(habitatOfOrganism Crocodile Asia) Mid-level-ontology.kif 28715-28715 habitatOfOrganism Crocodile and Asia
(habitatOfOrganism Crocodile Australia) Mid-level-ontology.kif 28718-28718 habitatOfOrganism Crocodile and Australia
(habitatOfOrganism Crocodile Europe) Mid-level-ontology.kif 28714-28714 habitatOfOrganism Crocodile and Europe
(habitatOfOrganism Crocodile NorthAmerica) Mid-level-ontology.kif 28716-28716 habitatOfOrganism Crocodile and NorthAmerica
(habitatOfOrganism Crocodile SouthAmerica) Mid-level-ontology.kif 28719-28719 habitatOfOrganism Crocodile and SouthAmerica
(habitatOfOrganism Kangaroo Australia) Mid-level-ontology.kif 18087-18087 habitatOfOrganism Kangaroo and Australia
(habitatOfOrganism Lemur Madagascar) Mid-level-ontology.kif 28641-28641 habitatOfOrganism Lemur and Madagascar
(habitatOfOrganism Lion Africa) Mid-level-ontology.kif 28541-28541 habitatOfOrganism Lion and Africa
(habitatOfOrganism Lion India) Mid-level-ontology.kif 28542-28542 habitatOfOrganism Lion and India
(habitatOfOrganism Llama NorthAmerica) Mid-level-ontology.kif 18096-18096 habitatOfOrganism Llama and NorthAmerica
(habitatOfOrganism Llama SouthAmerica) Mid-level-ontology.kif 18095-18095 habitatOfOrganism Llama and SouthAmerica
(habitatOfOrganism Panda China) Mid-level-ontology.kif 28658-28658 habitatOfOrganism Panda and China

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