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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EasternAsia

 Sigma KEE - EasternAsia
EasternAsia(東亞)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 5973-5973
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6416-6416
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6417-6417
No TPTP formula. May not be expressible in strict first order. Geography.kif 178-178 東亞 是 亞洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 259-259 東亞 是 東半球 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 260-260 東亞 是 北半球 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 101-101 例 東亞 and GeographicArea

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 545-545 中國 是 東亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 547-547 香港 是 東亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 548-548 日本 是 東亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 555-555 澳門 是 東亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 551-551 北朝鮮 是 東亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 553-553 韓國 是 東亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 556-556 台灣 是 東亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 132-132 名 "Eastern Asia" and 東亞
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20844-20844
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20843-20843
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20842-20842


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