TreeView Knowledge Base Browser - MemphisTennessee

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

MemphisTennessee

Sigma KEE - MemphisTennessee

MemphisTennessee(memphis tennessee)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 734-735
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5346-5346
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5345-5345
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5143-5143
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 729-729	Memphis tennessee is an instance of american city
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 733-733	Memphis tennessee is a part of tennessee

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37061-37061
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37060-37060
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37059-37059

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