TreeView Knowledge Base Browser - BolognaItaly

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - BolognaItaly

BolognaItaly(bologna italy)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1563-1563
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4101-4101
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4098-4098
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4096-4096
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4556-4556
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2665-2665	Bologna italy is a geographic subregion of italy
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1562-1562	Bologna italy is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2666-2666	Bologna italy has name "Bologna"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11555-11555
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11554-11554
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11553-11553

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