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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cilantro

 Sigma KEE - LakeTorrens
LakeTorrens(托伦斯湖)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. pictureList.kif 6656-6656
No TPTP formula. May not be expressible in strict first order. Geography.kif 5119-5119 托伦斯湖 是 盐湖 的 instance

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 5120-5120 托伦斯湖 的名 是 "Lake Torrens"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33151-33151
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33150-33150
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33149-33149


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