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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Precipitation
Precipitation(沉淀)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3019-3020
No TPTP formula. May not be expressible in strict first order. Merge.kif 11243-11245
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1784-1785
No TPTP formula. May not be expressible in strict first order. Merge.kif 11241-11241 沉淀落下subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 11240-11240 沉淀水运动subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 11239-11239 沉淀天气过程subclass

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1058-1058 冻雨沉淀subclass
No TPTP formula. May not be expressible in strict first order. Weather.kif 1158-1158 下冰雹沉淀subclass
No TPTP formula. May not be expressible in strict first order. Weather.kif 1026-1026 下雨沉淀subclass
No TPTP formula. May not be expressible in strict first order. Weather.kif 1135-1135 雨雪沉淀subclass
No TPTP formula. May not be expressible in strict first order. Weather.kif 1119-1119 下雪沉淀subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47110-47110
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47109-47109
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47108-47108

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 1196-1196 降水量 的 1 数量 是 沉淀instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 1187-1187 降水率 的 1 数量 是 沉淀instance

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11247-11252

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 2876-2886
No TPTP formula. May not be expressible in strict first order. Weather.kif 1017-1022


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