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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Philippines

 Sigma KEE - Philippines
Philippines(菲律賓)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3405-3405 菲律賓比索 是 菲律賓 的 currency 類別
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1323-1323
No TPTP formula. May not be expressible in strict first order. Economy.kif 698-698 發展中國家 是 菲律賓 的 economy 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 314-314 較未發達國家 是 菲律賓 的 economy 類別
No TPTP formula. May not be expressible in strict first order. pictureList.kif 663-663
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 619-619 菲律賓 是 東南亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 620-620 例 菲律賓 and Nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2732-2732 克拉克空軍基地菲律賓 是 菲律賓 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2861-2861 一般桑托斯菲律賓 是 菲律賓 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2946-2946 Ipil菲律賓 是 菲律賓 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3001-3001 Jolo菲律賓 是 菲律賓 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3007-3007 卡巴坎菲律賓 是 菲律賓 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3071-3071 Kidapawan菲律賓 是 菲律賓 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3188-3188 菲律賓馬尼拉 是 菲律賓 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3196-3196 Marawi菲律賓 是 菲律賓 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3236-3236 Mindanao菲律賓 是 菲律賓 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3367-3367 Ozamis菲律賓 是 菲律賓 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3385-3385 Patikul菲律賓 是 菲律賓 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3696-3696 三寶顏菲律賓 是 菲律賓 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4184-4184 名 "Philippines" and 菲律賓
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45572-45572
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45571-45571
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45570-45570

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2792-2792 "PH" 在 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