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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NorthAmerica

 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 例 北美 and Continent
No TPTP formula. May not be expressible in strict first order. Geography.kif 91-91 例 北美 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 279-279 方位 北美, 亞洲 and 東
No TPTP formula. May not be expressible in strict first order. Geography.kif 278-278 方位 北美, 南美洲 and 北

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" and 北美
No TPTP formula. May not be expressible in strict first order. Geography.kif 282-282 方位 非洲, 北美 and 東南
No TPTP formula. May not be expressible in strict first order. Geography.kif 290-290 方位 加勒比地區, 北美 and 南
No TPTP formula. May not be expressible in strict first order. Geography.kif 277-277 方位 歐洲, 北美 and 東
No TPTP formula. May not be expressible in strict first order. Geography.kif 288-288 方位 中美洲, 北美 and 南
No TPTP formula. May not be expressible in strict first order. Geography.kif 284-284 方位 大洋洲, 北美 and 西南
No TPTP formula. May not be expressible in strict first order. Geography.kif 167-167 在空間上重疊 加勒比地區 and 北美
No TPTP formula. May not be expressible in strict first order. Geography.kif 168-168 在空間上重疊 中美洲 and 北美
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 例 Entity and Continent 等於 非洲 and Entity 等於 北美 and Entity 等於 南美洲 and Entity 等於 南極洲 and Entity 等於 歐洲 and Entity 等於 亞洲 and Entity 等於 大洋洲 and Entity
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 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