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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SouthwesternAsia
SouthwesternAsia

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 6883-6883
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7948-7948
No TPTP formula. May not be expressible in strict first order. Geography.kif 184-184 geographicSubregion SouthwesternAsia and Asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 272-272 geographicSubregion SouthwesternAsia and EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 273-273 geographicSubregion SouthwesternAsia and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 105-105 SouthwesternAsia est une instance de secteur g�ographique

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 630-630 geographicSubregion Armenia and SouthwesternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 632-632 geographicSubregion Azerbaijan and SouthwesternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 634-634 geographicSubregion RepublicOfGeorgia and SouthwesternAsia
No TPTP formula. May not be expressible in strict first order. Geography.kif 136-136 SouthwesternAsia s'appele nom "Southwestern Asia"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54344-54344
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54343-54343
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54342-54342


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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