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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mudflow
Mudflow(泥石流)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 3163-3163
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2977-2977
No TPTP formula. May not be expressible in strict first order. Geography.kif 6765-6765 泥石流 是 滑坡 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39089-39089
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39088-39088
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39087-39087


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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