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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EasternAsia

Sigma KEE - EasternAsia
EasternAsia(eastern asia)

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 Eastern asia is a geographic subregion of asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 259-259 Eastern asia is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 260-260 Eastern asia is a geographic subregion of northern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 101-101 Eastern asia is an instance of geographic area

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 545-545 China is a geographic subregion of eastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 547-547 Hong kong is a geographic subregion of eastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 548-548 Japan is a geographic subregion of eastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 555-555 Macau is a geographic subregion of eastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 551-551 North korea is a geographic subregion of eastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 553-553 South korea is a geographic subregion of eastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 556-556 Taiwan is a geographic subregion of eastern asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 132-132 Eastern asia has name "Eastern Asia"
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