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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MukallahAdenYemen

 Sigma KEE - MukallahAdenYemen
MukallahAdenYemen

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2075-2075
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5770-5770
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5772-5772
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5644-5644
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5771-5771
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3258-3258 geographicSubregion MukallahAdenYemen and Yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2074-2074 MukallahAdenYemen est une instance de ville

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3259-3259 MukallahAdenYemen s'appele nom "Mukallah-Aden"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39107-39107
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39106-39106
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39105-39105


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