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 194-198
No TPTP formula. May not be expressible in strict first order. Weather.kif 190-190 The number 1 argument of low altitude wind velocity is an instance of object
No TPTP formula. May not be expressible in strict first order. Weather.kif 191-191 The number 2 argument of low altitude wind velocity is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 192-192 The number 3 argument of low altitude wind velocity is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 189-189 low altitude wind velocity is an instance of ternary predicate

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 211-213


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