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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PauFrance

 Sigma KEE - PauFrance
PauFrance(pau france)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2194-2194
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4235-4235
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4234-4234
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3387-3387 Pau france is a geographic subregion of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2193-2193 Pau france is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3388-3388 Pau france has name "Pau"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44826-44826
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44825-44825
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44824-44824


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