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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BaghdadIraq

Sigma KEE - BaghdadIraq
BaghdadIraq

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1485-1485
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4523-4523
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1042-1042
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2584-2584 geographicSubregion BaghdadIraq and Iraq
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1484-1484 BaghdadIraq e' uma instancia de Cidade

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2585-2585 BaghdadIraq se chama nome "Baghdad"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9546-9546
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9545-9545
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9544-9544


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