Mean3SecondWindSpeedListFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Mean3SecondWindSpeedListFn

Mean3SecondWindSpeedListFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1987-1990
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1982-1985
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1993-1993	The number 1 argument of mean three second wind speed list is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1994-1994	The number 2 argument of mean three second wind speed list is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1996-1996	Mean three second wind speed list is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1995-1995	The range of mean three second wind speed list is an instance of list

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1991-1992
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1986-1986
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10388-10388
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10387-10387

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2005-2017	If a list is equal to Mean3SecondWindSpeedListFn ending at a time interval in region a geographic area and a function quantity is a member of the list, then there exist the time intervalLIST and another time interval such that the time intervalLIST is equal to ConsecutiveTimeIntervalList for at the time interval at 3 second duration(s) is contained in TimeIntervalListFn and the other time interval is a member of the time intervalLIST and the function quantity is equal to Mean3SecondWindSpeedFn for the other time interval in region the geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1998-2003	If a list is equal to Mean3SecondWindSpeedListFn ending at a time interval in region a geographic area and an entity is a member of the list, then the entity is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2019-2023	If a list is equal to Mean3SecondWindSpeedListFn ending at a time interval in region a geographic area, then duration of the time interval is 2 minute duration(s)

consequent

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

Weather.kif 2038-2048

If a function quantity is equal to ThreeSecondSpeedGustFn ending at a time interval in a geographic area,
then there exist the function quantityLIST, a number list and an unit of measure such that the function quantityLIST is equal to Mean3SecondWindSpeedListFn ending at the time interval in region the geographic area and the number list is equal to PhysicalQuantityToNumberFn returns the numberic values of a list of the function quantityLIST and the function quantity is equal to The maximum value of the the number list the unit of measure(s)

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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