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 28517-28522
(domain habitatOfOrganism 2 GeographicArea) Mid-level-ontology.kif 28515-28515 The number 2 argument of habitatOfOrganism is an instance of geographic area
(domainSubclass habitatOfOrganism 1 Organism) Mid-level-ontology.kif 28514-28514 The number 1 argument of habitatOfOrganism is a subclass of organism
(instance habitatOfOrganism BinaryPredicate) Mid-level-ontology.kif 28513-28513 habitatOfOrganism is an instance of binary predicate

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 28524-28531
(=>
    (habitatOfOrganism ?O ?L)
    (not
        (subclass ?O DomesticAnimal)))
Mid-level-ontology.kif 28533-28536

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


(habitatOfOrganism Alligator China) Mid-level-ontology.kif 18019-18019 Alligator inhabits china
(habitatOfOrganism Alligator UnitedStates) Mid-level-ontology.kif 18018-18018 Alligator inhabits united states
(habitatOfOrganism Badger Africa) Mid-level-ontology.kif 18034-18034 Badger inhabits africa
(habitatOfOrganism Badger Asia) Mid-level-ontology.kif 18033-18033 Badger inhabits asia
(habitatOfOrganism Badger Europe) Mid-level-ontology.kif 18032-18032 Badger inhabits europe
(habitatOfOrganism Badger NorthAmerica) Mid-level-ontology.kif 18031-18031 Badger inhabits north america
(habitatOfOrganism Bear Asia) Mid-level-ontology.kif 18048-18048 Bear inhabits asia
(habitatOfOrganism Bear Europe) Mid-level-ontology.kif 18047-18047 Bear inhabits europe
(habitatOfOrganism Bear NorthAmerica) Mid-level-ontology.kif 18046-18046 Bear inhabits north america
(habitatOfOrganism Bear SouthAmerica) Mid-level-ontology.kif 18049-18049 Bear inhabits south america
(habitatOfOrganism Cheetah Africa) Mid-level-ontology.kif 28706-28706 Cheetah inhabits africa
(habitatOfOrganism Cheetah Asia) Mid-level-ontology.kif 28705-28705 Cheetah inhabits asia
(habitatOfOrganism Crocodile Africa) Mid-level-ontology.kif 28684-28684 Crocodile inhabits africa
(habitatOfOrganism Crocodile Asia) Mid-level-ontology.kif 28682-28682 Crocodile inhabits asia
(habitatOfOrganism Crocodile Australia) Mid-level-ontology.kif 28685-28685 Crocodile inhabits australia
(habitatOfOrganism Crocodile Europe) Mid-level-ontology.kif 28681-28681 Crocodile inhabits europe
(habitatOfOrganism Crocodile NorthAmerica) Mid-level-ontology.kif 28683-28683 Crocodile inhabits north america
(habitatOfOrganism Crocodile SouthAmerica) Mid-level-ontology.kif 28686-28686 Crocodile inhabits south america
(habitatOfOrganism Kangaroo Australia) Mid-level-ontology.kif 18060-18060 Kangaroo inhabits australia
(habitatOfOrganism Lemur Madagascar) Mid-level-ontology.kif 28608-28608 Lemur inhabits madagascar
(habitatOfOrganism Lion Africa) Mid-level-ontology.kif 28508-28508 Lion inhabits africa
(habitatOfOrganism Lion India) Mid-level-ontology.kif 28509-28509 Lion inhabits india
(habitatOfOrganism Llama NorthAmerica) Mid-level-ontology.kif 18069-18069 Llama inhabits north america
(habitatOfOrganism Llama SouthAmerica) Mid-level-ontology.kif 18068-18068 Llama inhabits south america
(habitatOfOrganism Panda China) Mid-level-ontology.kif 28625-28625 Panda inhabits 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners