Qatar - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Qatar

Qatar(qatar)

Katar, Qatar, State_of_Katar, State_of_Qatar

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3417-3417	Qatari riyal is a currency type of qatar
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1326-1326
No TPTP formula. May not be expressible in strict first order.	Economy.kif 699-699	Developing country is an economy type of qatar
No TPTP formula. May not be expressible in strict first order.	Economy.kif 315-315	Less developed country is an economy type of qatar
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 680-680
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 260-260	Qatar is a geographic subregion of middle east region
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 261-261	Qatar is an instance of nation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4011-4011	Qatar has name "Qatar"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48254-48254
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48253-48253
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48252-48252

appearance as argument number 3

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

Media.kif 2795-2795

"QA" in ISO-3166-1-alpha-2 denotes qatar

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