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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HavanaCuba

 Sigma KEE - HavanaCuba
HavanaCuba(havana cuba)Cuban_capital, Havana, capital_of_Cuba

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1783-1783
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2911-2911 Havana cuba is a geographic subregion of cuba
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1782-1782 Havana cuba is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2912-2912 Havana cuba has name "Havana"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27612-27612
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27611-27611
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27610-27610


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