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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CairoEgypt

 Sigma KEE - CairoEgypt
CairoEgypt(cairo egypt)
more pictures...		Al_Qahira, Cairo, Egyptian_capital, El_Qahira, capital_of_Egypt

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1585-1585
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3454-3454
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4573-4573
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3452-3452
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3450-3450
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3451-3451
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2693-2693 Cairo egypt is a geographic subregion of egypt
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1584-1584 Cairo egypt is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2694-2694 Cairo egypt has name "Cairo"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12691-12691
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12690-12690
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12689-12689


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