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

Formal Language: 



KB Term:  Term intersection
English Word: 

  mediumAltitudeWindVelocity

 Sigma KEE - mediumAltitudeWindVelocity
mediumAltitudeWindVelocity

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 232-235
No TPTP formula. May not be expressible in strict first order. Weather.kif 228-228 中等海拔风速率 的 1 数量 是 客体 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 229-229 中等海拔风速率 的 2 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 230-230 中等海拔风速率 的 3 数量 是 方向属性 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 227-227 中等海拔风速率 是 三元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1675-1675
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1674-1674
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1673-1673
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36893-36893
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36892-36892
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36891-36891

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 246-248


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