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 currencyType PapuaNewGuinea and PapuanKina
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 economyType PapuaNewGuinea and DevelopingCountry
No TPTP formula. May not be expressible in strict first order. Economy.kif 311-311 economyType PapuaNewGuinea and LessDevelopedCountry
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 geographicSubregion PapuaNewGuinea and SoutheasternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 617-617 PapuaNewGuinea e' uma instancia de Nacao

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4182-4182 PapuaNewGuinea se chama nome "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 codeMapping ISO-3166-1-alpha-2, "PG" and PapuaNewGuinea


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