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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CentralAsia

 Sigma KEE - CentralAsia
CentralAsia

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 6242-6242
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6243-6243
No TPTP formula. May not be expressible in strict first order. Geography.kif 177-177 geographicSubregion CentralAsia and Asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 256-256 geographicSubregion CentralAsia and EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 257-257 geographicSubregion CentralAsia and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 100-100 CentralAsia e' uma instancia de Area Geografica

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 529-529 geographicSubregion Kazakhstan and CentralAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 531-531 geographicSubregion Kyrgyzstan and CentralAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 533-533 geographicSubregion Tajikistan and CentralAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 535-535 geographicSubregion Turkmenistan and CentralAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 537-537 geographicSubregion Uzbekistan and CentralAsia
No TPTP formula. May not be expressible in strict first order. Geography.kif 131-131 CentralAsia se chama nome "Central Asia"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13824-13824
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13823-13823
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13822-13822


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