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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Wind

Sigma KEE - Wind
Wind(風)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3027-3027
No TPTP formula. May not be expressible in strict first order. Merge.kif 11257-11257
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1792-1792
No TPTP formula. May not be expressible in strict first order. pictureList.kif 839-839
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2064-2064
No TPTP formula. May not be expressible in strict first order. Merge.kif 11256-11256 子類 and 氣體運動
No TPTP formula. May not be expressible in strict first order. Weather.kif 1241-1241 子類 and 天氣過程

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1249-1249 子類 奇努克風 and
No TPTP formula. May not be expressible in strict first order. Weather.kif 1248-1248 子類 吉卜力 and
No TPTP formula. May not be expressible in strict first order. Weather.kif 1245-1245 子類 哈馬坦風 and
No TPTP formula. May not be expressible in strict first order. Weather.kif 1246-1246 子類 坎辛風 and
No TPTP formula. May not be expressible in strict first order. Weather.kif 1247-1247 子類 寒冷西北風 and
No TPTP formula. May not be expressible in strict first order. Weather.kif 1244-1244 子類 熱風 and
No TPTP formula. May not be expressible in strict first order. Weather.kif 1243-1243 子類 大風 and
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63099-63099
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63098-63098
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63097-63097

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 327-327 windDrivenMotion, 1 and

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1275-1296
No TPTP formula. May not be expressible in strict first order. Weather.kif 125-130
No TPTP formula. May not be expressible in strict first order. Weather.kif 484-496
No TPTP formula. May not be expressible in strict first order. Weather.kif 349-366
No TPTP formula. May not be expressible in strict first order. Merge.kif 11264-11272
No TPTP formula. May not be expressible in strict first order. Merge.kif 14799-14804

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 343-347
No TPTP formula. May not be expressible in strict first order. Weather.kif 115-123
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2297-2303
No TPTP formula. May not be expressible in strict first order. Weather.kif 94-99
No TPTP formula. May not be expressible in strict first order. Sports.kif 1304-1315
No TPTP formula. May not be expressible in strict first order. Weather.kif 178-186


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