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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lowAltitudeWindVelocity

 Sigma KEE - lowAltitudeWindVelocity
lowAltitudeWindVelocity

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 206-210
No TPTP formula. May not be expressible in strict first order. Weather.kif 202-202 低空风速 的 1 数量 是 客体 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 203-203 低空风速 的 2 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 204-204 低空风速 的 3 数量 是 方向属性 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 201-201 低空风速 是 三元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1575-1575
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1574-1574
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1573-1573
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35111-35111
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35110-35110
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35109-35109

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 223-225


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