TreeView Knowledge Base Browser - ValenciaSpain

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ValenciaSpain

ValenciaSpain(valencia spain)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2418-2418
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4434-4434
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4430-4430
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4432-4432
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4842-4842
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4433-4433
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4429-4429
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4059-4059
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4431-4431
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4435-4435
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3637-3637	Valencia spain is a geographic subregion of spain
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2417-2417	Valencia spain is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3638-3638	Valencia spain has name "Valencia"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61178-61178
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61177-61177
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61176-61176

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