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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CairoEgypt

 Sigma KEE - CairoEgypt
CairoEgypt(開羅，埃及)
more pictures...

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 開羅，埃及 是 埃及 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1584-1584 例 開羅，埃及 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2694-2694 名 "Cairo" and 開羅，埃及
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