TreeView Knowledge Base Browser - Qatar

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Qatar

Qatar

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3417-3417	currencyType Qatar and QatariRiyal
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	economyType Qatar and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 315-315	economyType Qatar and LessDevelopedCountry
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	geographicSubregion Qatar and MiddleEastRegion
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 261-261	Qatar e' uma instancia de Nacao

appearance as argument number 2

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

codeMapping ISO-3166-1-alpha-2, "QA" and Qatar

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