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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Malta

 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 马耳他 是 欧洲国家 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 3212-3212 马耳他 是 欧洲货币联盟 的 member

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4047-4047 马耳他 的名 是 "Malta"
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 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