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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PapuaNewGuinea

 Sigma KEE - PapuaNewGuinea
PapuaNewGuinea(papua new guinea)
more pictures...		Independent_State_of_Papua_New_Guinea, Papua_New_Guinea

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3393-3393 Papuan kina is a currency type of papua new guinea
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 Developing country is an economy type of papua new guinea
No TPTP formula. May not be expressible in strict first order. Economy.kif 311-311 Less developed country is an economy type of papua new guinea
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 Papua new guinea is a geographic subregion of southeastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 617-617 Papua new guinea is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4182-4182 Papua new guinea has name "Papua New Guinea"
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" in ISO-3166-1-alpha-2 denotes papua new guinea


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