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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PamplonaSpain
PamplonaSpain(pamplona spain)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2182-2182
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5412-5412
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5411-5411
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5154-5154
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3373-3373 Pamplona spain is a geographic subregion of spain
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2181-2181 Pamplona spain is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3374-3374 Pamplona spain has name "Pamplona"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44196-44196
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44195-44195
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44194-44194


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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