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 29613-29618
(domain habitatOfOrganism 2 GeographicArea) Mid-level-ontology.kif 29611-29611
(domainSubclass habitatOfOrganism 1 Organism) Mid-level-ontology.kif 29610-29610
(instance habitatOfOrganism BinaryPredicate) Mid-level-ontology.kif 29609-29609

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


(format ChineseLanguage habitatOfOrganism "%1 inhabits %2 ") domainEnglishFormat.kif 3595-3595
(format ChineseTraditionalLanguage habitatOfOrganism "%1 inhabits %2 ") domainEnglishFormat.kif 3594-3594
(format EnglishLanguage habitatOfOrganism "%1 inhabits %2") domainEnglishFormat.kif 3593-3593

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


(=>
    (habitatOfOrganism ?O ?L)
    (modalAttribute
        (exists (?OI)
            (and
                (instance ?OI ?O)
                (inhabits ?O ?L))) Likely))
Mid-level-ontology.kif 29620-29627
(=>
    (habitatOfOrganism ?O ?L)
    (not
        (subclass ?O DomesticAnimal)))
Mid-level-ontology.kif 29629-29632

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


(habitatOfOrganism Alligator China) Mid-level-ontology.kif 19437-19437
(habitatOfOrganism Alligator UnitedStates) Mid-level-ontology.kif 19436-19436
(habitatOfOrganism Badger Africa) Mid-level-ontology.kif 19452-19452
(habitatOfOrganism Badger Asia) Mid-level-ontology.kif 19451-19451
(habitatOfOrganism Badger Europe) Mid-level-ontology.kif 19450-19450
(habitatOfOrganism Badger NorthAmerica) Mid-level-ontology.kif 19449-19449
(habitatOfOrganism Bear Asia) Mid-level-ontology.kif 19466-19466
(habitatOfOrganism Bear Europe) Mid-level-ontology.kif 19465-19465
(habitatOfOrganism Bear NorthAmerica) Mid-level-ontology.kif 19464-19464
(habitatOfOrganism Bear SouthAmerica) Mid-level-ontology.kif 19467-19467
(habitatOfOrganism Cheetah Africa) Mid-level-ontology.kif 29802-29802
(habitatOfOrganism Cheetah Asia) Mid-level-ontology.kif 29801-29801
(habitatOfOrganism Crocodile Africa) Mid-level-ontology.kif 29780-29780
(habitatOfOrganism Crocodile Asia) Mid-level-ontology.kif 29778-29778
(habitatOfOrganism Crocodile Australia) Mid-level-ontology.kif 29781-29781
(habitatOfOrganism Crocodile Europe) Mid-level-ontology.kif 29777-29777
(habitatOfOrganism Crocodile NorthAmerica) Mid-level-ontology.kif 29779-29779
(habitatOfOrganism Crocodile SouthAmerica) Mid-level-ontology.kif 29782-29782
(habitatOfOrganism Kangaroo Australia) Mid-level-ontology.kif 19478-19478
(habitatOfOrganism Lemur Madagascar) Mid-level-ontology.kif 29704-29704
(habitatOfOrganism Lion Africa) Mid-level-ontology.kif 29604-29604
(habitatOfOrganism Lion India) Mid-level-ontology.kif 29605-29605
(habitatOfOrganism Llama NorthAmerica) Mid-level-ontology.kif 19487-19487
(habitatOfOrganism Llama SouthAmerica) Mid-level-ontology.kif 19486-19486
(habitatOfOrganism Panda China) Mid-level-ontology.kif 29721-29721

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