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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BouzeGueneAlgeria
  Vertical

 Sigma KEE - BouzeGueneAlgeria
BouzeGueneAlgeria(bouze guene algeria)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1569-1569
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2674-2674 Bouze guene algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1568-1568 Bouze guene algeria is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2675-2675 Bouze guene algeria has name "Bouze-guene"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11783-11783
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11782-11782
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11781-11781


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