TreeView Knowledge Base Browser - HaifaIsrael

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - HaifaIsrael

HaifaIsrael(haifa israel)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1769-1769
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3509-3509
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3506-3506
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3330-3330
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3507-3507
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2897-2897	Haifa israel is a geographic subregion of israel
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1768-1768	Haifa israel is an instance of port city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2898-2898	Haifa israel has name "Haifa"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27186-27186
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27185-27185
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27184-27184

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