Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  UmmQasrIraq

 Sigma KEE - UmmQasrIraq
UmmQasrIraq

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2410-2410
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5185-5185
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5532-5532
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5531-5531
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3626-3626 geographicSubregion UmmQasrIraq and Iraq
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2409-2409 UmmQasrIraq e' uma instancia de Cidade

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3627-3627 UmmQasrIraq se chama nome "Umm Qasr"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59828-59828
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59827-59827
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59826-59826


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