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

Formal Language: 



KB Term:  Term intersection
English Word: 

  habitatOfOrganism

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 29731-29736
(domain habitatOfOrganism 2 GeographicArea) Mid-level-ontology.kif 29729-29729
(domainSubclass habitatOfOrganism 1 Organism) Mid-level-ontology.kif 29728-29728
(instance habitatOfOrganism BinaryPredicate) Mid-level-ontology.kif 29727-29727

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 29738-29745
(=>
    (habitatOfOrganism ?O ?L)
    (not
        (subclass ?O DomesticAnimal)))
Mid-level-ontology.kif 29747-29750

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


(habitatOfOrganism Alligator China) Mid-level-ontology.kif 19555-19555
(habitatOfOrganism Alligator UnitedStates) Mid-level-ontology.kif 19554-19554
(habitatOfOrganism Badger Africa) Mid-level-ontology.kif 19570-19570
(habitatOfOrganism Badger Asia) Mid-level-ontology.kif 19569-19569
(habitatOfOrganism Badger Europe) Mid-level-ontology.kif 19568-19568
(habitatOfOrganism Badger NorthAmerica) Mid-level-ontology.kif 19567-19567
(habitatOfOrganism Bear Asia) Mid-level-ontology.kif 19584-19584
(habitatOfOrganism Bear Europe) Mid-level-ontology.kif 19583-19583
(habitatOfOrganism Bear NorthAmerica) Mid-level-ontology.kif 19582-19582
(habitatOfOrganism Bear SouthAmerica) Mid-level-ontology.kif 19585-19585
(habitatOfOrganism Cheetah Africa) Mid-level-ontology.kif 29920-29920
(habitatOfOrganism Cheetah Asia) Mid-level-ontology.kif 29919-29919
(habitatOfOrganism Crocodile Africa) Mid-level-ontology.kif 29898-29898
(habitatOfOrganism Crocodile Asia) Mid-level-ontology.kif 29896-29896
(habitatOfOrganism Crocodile Australia) Mid-level-ontology.kif 29899-29899
(habitatOfOrganism Crocodile Europe) Mid-level-ontology.kif 29895-29895
(habitatOfOrganism Crocodile NorthAmerica) Mid-level-ontology.kif 29897-29897
(habitatOfOrganism Crocodile SouthAmerica) Mid-level-ontology.kif 29900-29900
(habitatOfOrganism Kangaroo Australia) Mid-level-ontology.kif 19596-19596
(habitatOfOrganism Lemur Madagascar) Mid-level-ontology.kif 29822-29822
(habitatOfOrganism Lion Africa) Mid-level-ontology.kif 29722-29722
(habitatOfOrganism Lion India) Mid-level-ontology.kif 29723-29723
(habitatOfOrganism Llama NorthAmerica) Mid-level-ontology.kif 19605-19605
(habitatOfOrganism Llama SouthAmerica) Mid-level-ontology.kif 19604-19604
(habitatOfOrganism Panda China) Mid-level-ontology.kif 29839-29839

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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