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 geographicSubregion EasternAsia and Asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 259-259 geographicSubregion EasternAsia and EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 260-260 geographicSubregion EasternAsia and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 101-101 EasternAsia e' uma instancia de Area Geografica

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 545-545 geographicSubregion China and EasternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 547-547 geographicSubregion HongKong and EasternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 548-548 geographicSubregion Japan and EasternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 555-555 geographicSubregion Macau and EasternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 551-551 geographicSubregion NorthKorea and EasternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 553-553 geographicSubregion SouthKorea and EasternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 556-556 geographicSubregion Taiwan and EasternAsia
No TPTP formula. May not be expressible in strict first order. Geography.kif 132-132 EasternAsia se chama nome "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