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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Precipitation

 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 11231-11233
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 11229-11229 沉淀 是 落下 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 11228-11228 沉淀 是 水运动 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 11227-11227 沉淀 是 天气过程 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1070-1070 冻雨 是 沉淀 的 subclass
No TPTP formula. May not be expressible in strict first order. Weather.kif 1170-1170 下冰雹 是 沉淀 的 subclass
No TPTP formula. May not be expressible in strict first order. Weather.kif 1038-1038 下雨 是 沉淀 的 subclass
No TPTP formula. May not be expressible in strict first order. Weather.kif 1147-1147 雨雪 是 沉淀 的 subclass
No TPTP formula. May not be expressible in strict first order. Weather.kif 1131-1131 下雪 是 沉淀 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47108-47108
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47107-47107
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47106-47106

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


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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11235-11240

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2889-2899
No TPTP formula. May not be expressible in strict first order. Weather.kif 1029-1034


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