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 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 203-203 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 204-204 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 201-201 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 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