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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GizaEgypt

 Sigma KEE - GizaEgypt
GizaEgypt(giza egypt)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1749-1749
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3495-3495
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3498-3498
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3500-3500
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3499-3499
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3496-3496
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3497-3497
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2876-2876 Giza egypt is a geographic subregion of egypt
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1748-1748 Giza egypt is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2877-2877 Giza egypt has name "Giza"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26094-26094
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26093-26093
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26092-26092


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