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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Rwanda

Sigma KEE - Rwanda
Rwanda(rwanda)
Ruanda, Rwanda, Rwandese_Republic

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3429-3429 Rwanda franc is a currency type of rwanda
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1333-1333
No TPTP formula. May not be expressible in strict first order. Economy.kif 700-700 Developing country is an economy type of rwanda
No TPTP formula. May not be expressible in strict first order. Economy.kif 316-316 Less developed country is an economy type of rwanda
No TPTP formula. May not be expressible in strict first order. pictureList.kif 701-701
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 93-93 Rwanda is a geographic subregion of central africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 94-94 Rwanda is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3073-3073 Kigali rwanda is a geographic subregion of rwanda
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3450-3450 Ruhengeri rwanda is a geographic subregion of rwanda
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3935-3935 Rwanda has name "Rwanda"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50699-50699
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50698-50698
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50697-50697

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2798-2798 "RW" in ISO-3166-1-alpha-2 denotes rwanda


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