TreeView Knowledge Base Browser - Mean2MinutesWindSpeedFn

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 2283-2286
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2277-2281
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2288-2288	Le nombre 1 argument de Mean2MinutesWindSpeedFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2289-2289	Le nombre 2 argument de Mean2MinutesWindSpeedFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2291-2291	Mean2MinutesWindSpeedFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2290-2290	Le domaine de Mean2MinutesWindSpeedFn est une instance de function de quantit�

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2287-2287
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2282-2282
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

antecedent

No TPTP formula. May not be expressible in strict first order.

Weather.kif 2293-2310

Function de quantit� est Mean2MinutesWindSpeedFn secteur g�ographique and interval temporel
entit� entit�, entit� and entit� entit� est une instance de MeasuringSurfaceWindSpeedList locationMeasuringList entit� and secteur g�ographique measuringListInterval entit� and 5 SecondDuration(s) measuringListDuration entit� and 2 MinuteDuration(s) 24 est longueur de entit� measuringResult entit� and entit� entit� est PhysicalQuantityToNumberFn entit� function de quantit� est AverageFn entit� entit�(s) pendant interval temporel

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