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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NorthAmerica
NorthAmerica(北美)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. pictureList.kif 630-630
No TPTP formula. May not be expressible in strict first order. Geography.kif 3528-3528 北美 是 北半球 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 3529-3529 北美 是 西半球 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 3527-3527 北美 是 大陆 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 91-91 北美 是 地理区域 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 279-279 北美 在 亚洲 的 东
No TPTP formula. May not be expressible in strict first order. Geography.kif 278-278 北美 在 南美洲 的 北

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 404-404 百慕大 是 北美 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 164-164 北美洲北部 是 北美 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 405-405 美国 是 北美 的 geographic 次要地区
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 20302-20302 Bear 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 20325-20325 Llama inhabits 北美
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30453-30453 Parrot inhabits 北美
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30529-30529 驯鹿 inhabits 北美
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20334-20334 Skunk inhabits 北美
No TPTP formula. May not be expressible in strict first order. Geography.kif 121-121 北美 的名 是 "North America"
No TPTP formula. May not be expressible in strict first order. Geography.kif 282-282 非洲 在 北美 的 东南
No TPTP formula. May not be expressible in strict first order. Geography.kif 290-290 加勒比地区 在 北美 的 南
No TPTP formula. May not be expressible in strict first order. Geography.kif 277-277 欧洲 在 北美 的 东
No TPTP formula. May not be expressible in strict first order. Geography.kif 288-288 中美洲 在 北美 的 南
No TPTP formula. May not be expressible in strict first order. Geography.kif 284-284 大洋洲 在 北美 的 西南
No TPTP formula. May not be expressible in strict first order. Geography.kif 167-167 加勒比地区 和 北美 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 168-168 中美洲 和 北美 重叠
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40959-40959
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40958-40958
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40957-40957

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


No TPTP formula. May not be expressible in strict first order. Media.kif 349-357

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 3504-3513 实体 是 大陆 的 instance 若且唯若 非洲 equal 那个 实体 或 北美 equal 那个 实体 或 南美洲 equal 那个 实体 或 南极洲 equal 那个 实体 或 欧洲 equal 那个 实体 或 亚洲 equal 那个 实体 或 大洋洲 equal 那个 实体
No TPTP formula. May not be expressible in strict first order. naics.kif 8120-8130
No TPTP formula. May not be expressible in strict first order. Food.kif 1725-1729


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