Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  MemphisTennessee

 Sigma KEE - MemphisTennessee
MemphisTennessee(孟菲斯田納西州)

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 例 孟菲斯田納西州 and 美國城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 733-733 部分 孟菲斯田納西州 and 田納西

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