TreeView Knowledge Base Browser - SierraLeone

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - SierraLeone

SierraLeone

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3449-3449	currencyType SierraLeone and SierraLeoneLeone
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	economyType SierraLeone and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 325-325	economyType SierraLeone and LessDevelopedCountry
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	geographicSubregion SierraLeone and WesternAfrica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 226-226	SierraLeone e' uma instancia de Nacao

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3996-3996	SierraLeone se chama nome "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

codeMapping ISO-3166-1-alpha-2, "SL" and SierraLeone

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