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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SaadaYemen

 Sigma KEE - SaadaYemen
SaadaYemen(薩達葉門)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2256-2256
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5651-5651
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3452-3452 薩達葉門 是 葉門 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2255-2255 例 薩達葉門 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3453-3453 名 "Saada" and 薩達葉門
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50733-50733
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50732-50732
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50731-50731


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