TreeView Knowledge Base Browser - BatYamIsrael

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - BatYamIsrael

BatYamIsrael(bat yam israel)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1515-1515
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3413-3413
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3415-3415
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3414-3414
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2614-2614	Bat yam israel is a geographic subregion of israel
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1514-1514	Bat yam israel is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2615-2615	Bat yam israel has name "Bat Yam"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10224-10224
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10223-10223
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10222-10222

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