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 e' uma instancia de Cidade

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3259-3259 MukallahAdenYemen se chama nome "Mukallah-Aden"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39105-39105
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39104-39104
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39103-39103


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