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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Swaziland
Swaziland(swaziland)
Kingdom_of_Swaziland, Swaziland

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3491-3491 Swaziland lilangeni is a currency type of swaziland
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1356-1356
No TPTP formula. May not be expressible in strict first order. Economy.kif 716-716 Developing country is an economy type of swaziland
No TPTP formula. May not be expressible in strict first order. Economy.kif 332-332 Less developed country is an economy type of swaziland
No TPTP formula. May not be expressible in strict first order. pictureList.kif 763-763
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 181-181 Swaziland is a geographic subregion of southern africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 182-182 Swaziland is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3974-3974 Swaziland has name "Swaziland"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56467-56467
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56466-56466
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56465-56465

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2770-2770 "SZ" in ISO-3166-1-alpha-2 denotes swaziland


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