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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mean1MinuteWindSpeedFn

Sigma KEE - Mean1MinuteWindSpeedFn
Mean1MinuteWindSpeedFn

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2318-2321
No TPTP formula. May not be expressible in strict first order. Weather.kif 2312-2316
No TPTP formula. May not be expressible in strict first order. Weather.kif 2323-2323 The number 1 argument of one minute mean surface wind speed is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Weather.kif 2324-2324 The number 2 argument of one minute mean surface wind speed is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Weather.kif 2326-2326 One minute mean surface wind speed is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Weather.kif 2325-2325 The range of one minute mean surface wind speed is an instance of function quantity

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2322-2322
No TPTP formula. May not be expressible in strict first order. Weather.kif 2317-2317
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10382-10382
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10381-10381

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2328-2345

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2443-2457
No TPTP formula. May not be expressible in strict first order. Weather.kif 2365-2384
No TPTP formula. May not be expressible in strict first order. Weather.kif 740-751
No TPTP formula. May not be expressible in strict first order. Weather.kif 681-691
No TPTP formula. May not be expressible in strict first order. Weather.kif 660-670
No TPTP formula. May not be expressible in strict first order. Weather.kif 716-727


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