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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HernaniSpain

 Sigma KEE - HernaniSpain
HernaniSpain(hernani spain)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1793-1793
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10049-10049
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2921-2921 Hernani spain is a geographic subregion of spain
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1792-1792 Hernani spain is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2922-2922 Hernani spain has name "Hernani"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28017-28017
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28016-28016
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28015-28015


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