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

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3503-3503	currencyType Syria and SyrianPound
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	economyType Syria and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 333-333	economyType Syria and LessDevelopedCountry
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	geographicSubregion Syria and MiddleEastRegion
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 265-265	Syria e' uma instancia de Nacao

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4013-4013	Syria se chama nome "Syria"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56635-56635
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56634-56634
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56633-56633

appearance as argument number 3

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

Media.kif 2820-2820

codeMapping ISO-3166-1-alpha-2, "SY" and 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