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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mean2MinutesWindSpeedFn

 Sigma KEE - Mean2MinutesWindSpeedFn
Mean2MinutesWindSpeedFn

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2266-2269
No TPTP formula. May not be expressible in strict first order. Weather.kif 2260-2264
No TPTP formula. May not be expressible in strict first order. Weather.kif 2271-2271 域 Mean2MinutesWindSpeedFn, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Weather.kif 2272-2272 域 Mean2MinutesWindSpeedFn, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order. Weather.kif 2274-2274 例 Mean2MinutesWindSpeedFn and BinaryFunction
No TPTP formula. May not be expressible in strict first order. Weather.kif 2273-2273 範圍 Mean2MinutesWindSpeedFn and FunctionQuantity

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2270-2270
No TPTP formula. May not be expressible in strict first order. Weather.kif 2265-2265
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10379-10379
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10378-10378

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