TreeView Knowledge Base Browser - Syria

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Syria

Syria(syria)

Syria, Syrian_Arab_Republic

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3503-3503	Syrian pound is a currency type of syria
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1360-1360
No TPTP formula. May not be expressible in strict first order.	Economy.kif 717-717	Developing country is an economy type of syria
No TPTP formula. May not be expressible in strict first order.	Economy.kif 333-333	Less developed country is an economy type of syria
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 768-768
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 264-264	Syria is a geographic subregion of middle east region
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 265-265	Syria is an instance of nation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4013-4013	Syria has name "Syria"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56637-56637
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56636-56636
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56635-56635

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Media.kif 2820-2820

"SY" in ISO-3166-1-alpha-2 denotes syria

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