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 28437-28442
(domain habitatOfOrganism 2 GeographicArea) Mid-level-ontology.kif 28435-28435
(domainSubclass habitatOfOrganism 1 Organism) Mid-level-ontology.kif 28434-28434
(instance habitatOfOrganism BinaryPredicate) Mid-level-ontology.kif 28433-28433

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


(format EnglishLanguage habitatOfOrganism "%1 inhabits %2") domainEnglishFormat.kif 907-907

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


(=>
    (habitatOfOrganism ?O ?L)
    (modalAttribute
        (exists (?OI)
            (and
                (instance ?OI ?O)
                (inhabits ?O ?L))) Likely))
Mid-level-ontology.kif 28444-28451
(=>
    (habitatOfOrganism ?O ?L)
    (not
        (subclass ?O DomesticAnimal)))
Mid-level-ontology.kif 28453-28456

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


(habitatOfOrganism Alligator China) Mid-level-ontology.kif 17961-17961
(habitatOfOrganism Alligator UnitedStates) Mid-level-ontology.kif 17960-17960
(habitatOfOrganism Badger Africa) Mid-level-ontology.kif 17976-17976
(habitatOfOrganism Badger Asia) Mid-level-ontology.kif 17975-17975
(habitatOfOrganism Badger Europe) Mid-level-ontology.kif 17974-17974
(habitatOfOrganism Badger NorthAmerica) Mid-level-ontology.kif 17973-17973
(habitatOfOrganism Bear Asia) Mid-level-ontology.kif 17990-17990
(habitatOfOrganism Bear Europe) Mid-level-ontology.kif 17989-17989
(habitatOfOrganism Bear NorthAmerica) Mid-level-ontology.kif 17988-17988
(habitatOfOrganism Bear SouthAmerica) Mid-level-ontology.kif 17991-17991
(habitatOfOrganism Cheetah Africa) Mid-level-ontology.kif 28626-28626
(habitatOfOrganism Cheetah Asia) Mid-level-ontology.kif 28625-28625
(habitatOfOrganism Crocodile Africa) Mid-level-ontology.kif 28604-28604
(habitatOfOrganism Crocodile Asia) Mid-level-ontology.kif 28602-28602
(habitatOfOrganism Crocodile Australia) Mid-level-ontology.kif 28605-28605
(habitatOfOrganism Crocodile Europe) Mid-level-ontology.kif 28601-28601
(habitatOfOrganism Crocodile NorthAmerica) Mid-level-ontology.kif 28603-28603
(habitatOfOrganism Crocodile SouthAmerica) Mid-level-ontology.kif 28606-28606
(habitatOfOrganism Kangaroo Australia) Mid-level-ontology.kif 18002-18002
(habitatOfOrganism Lemur Madagascar) Mid-level-ontology.kif 28528-28528
(habitatOfOrganism Lion Africa) Mid-level-ontology.kif 28428-28428
(habitatOfOrganism Lion India) Mid-level-ontology.kif 28429-28429
(habitatOfOrganism Llama NorthAmerica) Mid-level-ontology.kif 18011-18011
(habitatOfOrganism Llama SouthAmerica) Mid-level-ontology.kif 18010-18010
(habitatOfOrganism Panda China) Mid-level-ontology.kif 28545-28545

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners