measuringListDuration - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - measuringListDuration

measuringListDuration

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1857-1857	The number 1 argument of measuring list duration is an instance of measuring list
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1858-1858	The number 2 argument of measuring list duration is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1859-1859	measuring list duration is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1853-1855
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1849-1851
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1856-1856
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1852-1852
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10403-10403
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10402-10402

antecedent

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

Weather.kif 1861-1869

If The Measuring for list a measuring list takes a time duration.,
then there exists a time interval such that the time interval is equal to interval between the beginning of the time of existence of the first of the measuring list and the end of the time of existence of the last of the measuring list and duration of the time interval is the time duration

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2206-2223	If a function quantity is equal to Mean10MinutesWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 10 minute duration(s). and 120 is equal to length of the entity and the other entity is the result of the entity and the third entity is equal to PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and the function quantity is equal to the average of the numbers in the third entity the fourth entity(s) holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2311-2328	If a function quantity is equal to Mean1MinuteWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 1 minute duration(s). and 12 is equal to length of the entity and the other entity is the result of the entity and the third entity is equal to PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and the function quantity is equal to the average of the numbers in the third entity the fourth entity(s) holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2276-2293	If a function quantity is equal to Mean2MinutesWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 2 minute duration(s). and 24 is equal to length of the entity and the other entity is the result of the entity and the third entity is equal to PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and the function quantity is equal to the average of the numbers in the third entity the fourth entity(s) holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2241-2258	If a function quantity is equal to Mean3MinutesWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 2 minute duration(s). and 36 is equal to length of the entity and the other entity is the result of the entity and the third entity is equal to PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and the function quantity is equal to the average of the numbers in the third entity the fourth entity(s) holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1887-1904	If a function quantity is equal to Mean3SecondWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 0.25 second duration(s) interval. and The Measuring for list the entity takes 3 second duration(s). and 12 is equal to length of the entity and the other entity is the result of the entity and the third entity is equal to PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and the function quantity is equal to the average of the numbers in the third entity the fourth entity(s) holds during the time interval

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