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 30381-30386
(domain habitatOfOrganism 2 GeographicArea) Mid-level-ontology.kif 30379-30379 habitatOfOrganism 的 2 数量 是 地理区域 的 instance
(domainSubclass habitatOfOrganism 1 Organism) Mid-level-ontology.kif 30378-30378 habitatOfOrganism 的 1 数量 是 生物 的 subclass
(instance habitatOfOrganism BinaryPredicate) Mid-level-ontology.kif 30377-30377 habitatOfOrganism 是 二元谓语 的 instance

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


(format ChineseLanguage habitatOfOrganism "%1 inhabits %2 ") domainEnglishFormat.kif 3590-3590
(format ChineseTraditionalLanguage habitatOfOrganism "%1 inhabits %2 ") domainEnglishFormat.kif 3589-3589
(format EnglishLanguage habitatOfOrganism "%1 inhabits %2") domainEnglishFormat.kif 3588-3588
(termFormat EnglishLanguage habitatOfOrganism "habitat of organism") domainEnglishFormat.kif 65846-65846

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


(=>
    (habitatOfOrganism ?O ?L)
    (modalAttribute
        (exists (?OI)
            (and
                (instance ?OI ?O)
                (inhabits ?OI ?L))) Likely))		 Mid-level-ontology.kif 30388-30395
(=>
    (habitatOfOrganism ?O ?L)
    (not
        (subclass ?O DomesticAnimal)))		 Mid-level-ontology.kif 30397-30400

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


(habitatOfOrganism Alligator China) Mid-level-ontology.kif 20275-20275 Alligator inhabits 中国
(habitatOfOrganism Alligator UnitedStates) Mid-level-ontology.kif 20274-20274 Alligator inhabits 美国
(habitatOfOrganism Badger Africa) Mid-level-ontology.kif 20290-20290 Badger inhabits 非洲
(habitatOfOrganism Badger Asia) Mid-level-ontology.kif 20289-20289 Badger inhabits 亚洲
(habitatOfOrganism Badger Europe) Mid-level-ontology.kif 20288-20288 Badger inhabits 欧洲
(habitatOfOrganism Badger NorthAmerica) Mid-level-ontology.kif 20287-20287 Badger inhabits 北美
(habitatOfOrganism Bear Asia) Mid-level-ontology.kif 20304-20304 Bear inhabits 亚洲
(habitatOfOrganism Bear Europe) Mid-level-ontology.kif 20303-20303 Bear inhabits 欧洲
(habitatOfOrganism Bear NorthAmerica) Mid-level-ontology.kif 20302-20302 Bear inhabits 北美
(habitatOfOrganism Bear SouthAmerica) Mid-level-ontology.kif 20305-20305 Bear inhabits 南美洲
(habitatOfOrganism Cheetah Africa) Mid-level-ontology.kif 30570-30570 Cheetah inhabits 非洲
(habitatOfOrganism Cheetah Asia) Mid-level-ontology.kif 30569-30569 Cheetah inhabits 亚洲
(habitatOfOrganism Crocodile Africa) Mid-level-ontology.kif 30548-30548 Crocodile inhabits 非洲
(habitatOfOrganism Crocodile Asia) Mid-level-ontology.kif 30546-30546 Crocodile inhabits 亚洲
(habitatOfOrganism Crocodile Australia) Mid-level-ontology.kif 30549-30549 Crocodile inhabits 澳大利亚
(habitatOfOrganism Crocodile Europe) Mid-level-ontology.kif 30545-30545 Crocodile inhabits 欧洲
(habitatOfOrganism Crocodile NorthAmerica) Mid-level-ontology.kif 30547-30547 Crocodile inhabits 北美
(habitatOfOrganism Crocodile SouthAmerica) Mid-level-ontology.kif 30550-30550 Crocodile inhabits 南美洲
(habitatOfOrganism Kangaroo Australia) Mid-level-ontology.kif 20316-20316 Kangaroo inhabits 澳大利亚
(habitatOfOrganism Lemur Madagascar) Mid-level-ontology.kif 30472-30472 Lemur inhabits 马达加斯加
(habitatOfOrganism Lion Africa) Mid-level-ontology.kif 30372-30372 Lion inhabits 非洲
(habitatOfOrganism Lion India) Mid-level-ontology.kif 30373-30373 Lion inhabits 印度
(habitatOfOrganism Llama NorthAmerica) Mid-level-ontology.kif 20325-20325 Llama inhabits 北美
(habitatOfOrganism Llama SouthAmerica) Mid-level-ontology.kif 20324-20324 Llama inhabits 南美洲
(habitatOfOrganism Panda China) Mid-level-ontology.kif 30489-30489 Panda inhabits 中国

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