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 30369-30374
(domain habitatOfOrganism 2 GeographicArea) Mid-level-ontology.kif 30367-30367 habitatOfOrganism 的 2 数量 是 地理区域 的 instance
(domainSubclass habitatOfOrganism 1 Organism) Mid-level-ontology.kif 30366-30366 habitatOfOrganism 的 1 数量 是 生物 的 subclass
(instance habitatOfOrganism BinaryPredicate) Mid-level-ontology.kif 30365-30365 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 30376-30383
(=>
    (habitatOfOrganism ?O ?L)
    (not
        (subclass ?O DomesticAnimal)))		 Mid-level-ontology.kif 30385-30388

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


(habitatOfOrganism Alligator China) Mid-level-ontology.kif 20274-20274 Alligator inhabits 中国
(habitatOfOrganism Alligator UnitedStates) Mid-level-ontology.kif 20273-20273 Alligator inhabits 美国
(habitatOfOrganism Badger Africa) Mid-level-ontology.kif 20289-20289 Badger inhabits 非洲
(habitatOfOrganism Badger Asia) Mid-level-ontology.kif 20288-20288 Badger inhabits 亚洲
(habitatOfOrganism Badger Europe) Mid-level-ontology.kif 20287-20287 Badger inhabits 欧洲
(habitatOfOrganism Badger NorthAmerica) Mid-level-ontology.kif 20286-20286 Badger inhabits 北美
(habitatOfOrganism Bear Asia) Mid-level-ontology.kif 20303-20303 Bear inhabits 亚洲
(habitatOfOrganism Bear Europe) Mid-level-ontology.kif 20302-20302 Bear inhabits 欧洲
(habitatOfOrganism Bear NorthAmerica) Mid-level-ontology.kif 20301-20301 Bear inhabits 北美
(habitatOfOrganism Bear SouthAmerica) Mid-level-ontology.kif 20304-20304 Bear inhabits 南美洲
(habitatOfOrganism Cheetah Africa) Mid-level-ontology.kif 30558-30558 Cheetah inhabits 非洲
(habitatOfOrganism Cheetah Asia) Mid-level-ontology.kif 30557-30557 Cheetah inhabits 亚洲
(habitatOfOrganism Crocodile Africa) Mid-level-ontology.kif 30536-30536 Crocodile inhabits 非洲
(habitatOfOrganism Crocodile Asia) Mid-level-ontology.kif 30534-30534 Crocodile inhabits 亚洲
(habitatOfOrganism Crocodile Australia) Mid-level-ontology.kif 30537-30537 Crocodile inhabits 澳大利亚
(habitatOfOrganism Crocodile Europe) Mid-level-ontology.kif 30533-30533 Crocodile inhabits 欧洲
(habitatOfOrganism Crocodile NorthAmerica) Mid-level-ontology.kif 30535-30535 Crocodile inhabits 北美
(habitatOfOrganism Crocodile SouthAmerica) Mid-level-ontology.kif 30538-30538 Crocodile inhabits 南美洲
(habitatOfOrganism Kangaroo Australia) Mid-level-ontology.kif 20315-20315 Kangaroo inhabits 澳大利亚
(habitatOfOrganism Lemur Madagascar) Mid-level-ontology.kif 30460-30460 Lemur inhabits 马达加斯加
(habitatOfOrganism Lion Africa) Mid-level-ontology.kif 30360-30360 Lion inhabits 非洲
(habitatOfOrganism Lion India) Mid-level-ontology.kif 30361-30361 Lion inhabits 印度
(habitatOfOrganism Llama NorthAmerica) Mid-level-ontology.kif 20324-20324 Llama inhabits 北美
(habitatOfOrganism Llama SouthAmerica) Mid-level-ontology.kif 20323-20323 Llama inhabits 南美洲
(habitatOfOrganism Panda China) Mid-level-ontology.kif 30477-30477 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