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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Malta
Malta(馬耳他)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3317-3317 歐元 是 馬耳他 的 currency 類別
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1290-1290
No TPTP formula. May not be expressible in strict first order. Economy.kif 166-166 發達國家 是 馬耳他 的 economy 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 678-678 發展中國家 是 馬耳他 的 economy 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 294-294 較未發達國家 是 馬耳他 的 economy 類別
No TPTP formula. May not be expressible in strict first order. pictureList.kif 576-576
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 337-337 馬耳他 是 南歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 338-338 例 馬耳他 and 歐洲國家
No TPTP formula. May not be expressible in strict first order. Government.kif 3212-3212 會員 馬耳他 and 歐洲貨幣聯盟

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4047-4047 名 "Malta" and 馬耳他
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35873-35873
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35872-35872
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35871-35871

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2757-2757 "MT" 在 ISO-3166-1-alpha-2 denotes 馬耳他


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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