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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SouthAfrica
SouthAfrica(south africa)
Republic_of_South_Africa, South_Africa

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3467-3467 South african rand is a currency type of south africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1350-1350
No TPTP formula. May not be expressible in strict first order. Economy.kif 174-174 Developed country is an economy type of south africa
No TPTP formula. May not be expressible in strict first order. Economy.kif 712-712 Developing country is an economy type of south africa
No TPTP formula. May not be expressible in strict first order. Economy.kif 328-328 Less developed country is an economy type of south africa
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1564-1564
No TPTP formula. May not be expressible in strict first order. pictureList.kif 746-746
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 179-179 South africa is a geographic subregion of southern africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 180-180 South africa is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2703-2703 Cape town south africa is a geographic subregion of south africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2999-2999 Johannesburg south africa is a geographic subregion of south africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3973-3973 South africa has name "South Africa"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54042-54042
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54041-54041
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54040-54040

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2767-2767 "ZA" in ISO-3166-1-alpha-2 denotes south africa


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