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
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30381-30386
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30379-30379 habitatOfOrganism 的 2 数量 是 地理区域 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30378-30378 habitatOfOrganism 的 1 数量 是 生物 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30377-30377 habitatOfOrganism 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3590-3590
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3589-3589
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3588-3588
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65846-65846

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30388-30395
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30397-30400

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20275-20275 Alligator inhabits 中国
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20274-20274 Alligator inhabits 美国
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20290-20290 Badger inhabits 非洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20289-20289 Badger inhabits 亚洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20288-20288 Badger inhabits 欧洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20287-20287 Badger inhabits 北美
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20304-20304 Bear inhabits 亚洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20303-20303 Bear inhabits 欧洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20302-20302 Bear inhabits 北美
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20305-20305 Bear inhabits 南美洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30570-30570 Cheetah inhabits 非洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30569-30569 Cheetah inhabits 亚洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30548-30548 Crocodile inhabits 非洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30546-30546 Crocodile inhabits 亚洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30549-30549 Crocodile inhabits 澳大利亚
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30545-30545 Crocodile inhabits 欧洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30547-30547 Crocodile inhabits 北美
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30550-30550 Crocodile inhabits 南美洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20316-20316 Kangaroo inhabits 澳大利亚
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30472-30472 Lemur inhabits 马达加斯加
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30372-30372 Lion inhabits 非洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30373-30373 Lion inhabits 印度
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20325-20325 Llama inhabits 北美
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20324-20324 Llama inhabits 南美洲
No TPTP formula. May not be expressible in strict first order. 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 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