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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SanaaYemen

 Sigma KEE - SanaaYemen
SanaaYemen(薩那葉門)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2290-2290
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5779-5779
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5777-5777
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5653-5653
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5778-5778
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3488-3488 薩那葉門 是 葉門 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2289-2289 例 薩那葉門 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3489-3489 名 "Sanaa" and 薩那葉門
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51045-51045
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51044-51044
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51043-51043


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