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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SierraLeone
SierraLeone(sierra leone)
Republic_of_Sierra_Leone, Sierra_Leone

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3449-3449 Sierra leone leone is a currency type of sierra leone
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1344-1344
No TPTP formula. May not be expressible in strict first order. Economy.kif 709-709 Developing country is an economy type of sierra leone
No TPTP formula. May not be expressible in strict first order. Economy.kif 325-325 Less developed country is an economy type of sierra leone
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1563-1563
No TPTP formula. May not be expressible in strict first order. pictureList.kif 731-731
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 225-225 Sierra leone is a geographic subregion of western africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 226-226 Sierra leone is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3996-3996 Sierra leone has name "Sierra Leone"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52976-52976
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52975-52975
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52974-52974

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2809-2809 "SL" in ISO-3166-1-alpha-2 denotes sierra leone


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