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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GizaEgypt

 Sigma KEE - GizaEgypt
GizaEgypt
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 geographicSubregion GizaEgypt and Egypt
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1748-1748 GizaEgypt e' uma instancia de Cidade

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


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