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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Kiribati
Kiribati(kiribati)
Kiribati, Republic_of_Kiribati

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3263-3263 Kiribati dollar is a currency type of kiribati
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1272-1272
No TPTP formula. May not be expressible in strict first order. Economy.kif 661-661 Developing country is an economy type of kiribati
No TPTP formula. May not be expressible in strict first order. Economy.kif 282-282 Less developed country is an economy type of kiribati
No TPTP formula. May not be expressible in strict first order. pictureList.kif 539-539
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 674-674 Kiribati is a geographic subregion of oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 675-675 Kiribati is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4207-4207 "Gilbert Islands" is a former name for kiribati
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4206-4206 Kiribati has name "Kiribati"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32574-32574
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32573-32573
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32572-32572

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2721-2721 "KI" in ISO-3166-1-alpha-2 denotes kiribati


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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