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	塞拉利昂利昂是塞拉利昂的 currency 类别
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	发展中国家是塞拉利昂的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 325-325	较未发达国家是塞拉利昂的 economy 类别
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	塞拉利昂是西非的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 226-226	塞拉利昂是国家的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3996-3996	塞拉利昂的名是 "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" 在 ISO-3166-1-alpha-2 denotes 塞拉利昂

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