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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PapuaNewGuinea

 Sigma KEE - PapuaNewGuinea
PapuaNewGuinea(巴布亞新幾內亞)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3393-3393 Papuan kina 是 巴布亞新幾內亞 的 currency 類別
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1320-1320
No TPTP formula. May not be expressible in strict first order. Economy.kif 695-695 發展中國家 是 巴布亞新幾內亞 的 economy 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 311-311 較未發達國家 是 巴布亞新幾內亞 的 economy 類別
No TPTP formula. May not be expressible in strict first order. pictureList.kif 654-654
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10182-10182
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11594-11594
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11595-11595
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11596-11596
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 616-616 巴布亞新幾內亞 是 東南亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 617-617 例 巴布亞新幾內亞 and Nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4182-4182 名 "Papua New Guinea" and 巴布亞新幾內亞
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44352-44352
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44351-44351
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44350-44350

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


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