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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Yemen

 Sigma KEE - Yemen
Yemen(葉門)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3583-3583 也門里亞爾 是 葉門 的 currency 類別
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1382-1382
No TPTP formula. May not be expressible in strict first order. Economy.kif 730-730 發展中國家 是 葉門 的 economy 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 346-346 較未發達國家 是 葉門 的 economy 類別
No TPTP formula. May not be expressible in strict first order. pictureList.kif 846-846
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 270-270 葉門 是 中東地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 271-271 例 葉門 and Nation
No TPTP formula. May not be expressible in strict first order. Geography.kif 5170-5170 空間的符合 葉門 and 腺嘌呤

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2498-2498 腺也門 是 葉門 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3089-3089 科蘭也門 是 葉門 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3208-3208 Mawdiyah葉門 是 葉門 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3258-3258 Mukallah aden 葉門 是 葉門 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3411-3411 拉達阿曼也門 是 葉門 的 geographic 次要地區
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 3488-3488 薩那葉門 是 葉門 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3558-3558 Sumayr葉門 是 葉門 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3661-3661 Wadi al dabaat 葉門 是 葉門 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3694-3694 紮馬葉門 是 葉門 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4016-4016 名 "Yemen" and 葉門
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63799-63799
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63798-63798
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63797-63797

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2840-2840 "YE" 在 ISO-3166-1-alpha-2 denotes 葉門


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