TreeView Knowledge Base Browser - measuringListDuration

appearance as argument number 1

(domain measuringListDuration 1 MeasuringList)	Weather.kif 1874-1874	The number 1 argument of measuring list duration is an instance of measuring list
(domain measuringListDuration 2 TimeDuration)	Weather.kif 1875-1875	The number 2 argument of measuring list duration is an instance of time duration
(instance measuringListDuration BinaryRelation)	Weather.kif 1876-1876	measuring list duration is an instance of binary relation

appearance as argument number 2

(documentation ChineseLanguage measuringListDuration "measuringListDuration 是一个（二元关系）BinaryRelation。 (measuringListDuration ?LIST ?DURATION) ?DURATION 是串列 ?LIST (MeasuringList) 上所有（量度过程）Measuring Processes 从开始到结束的(持续时间) TimeDuration。")	Weather.kif 1870-1872
(documentation EnglishLanguage measuringListDuration "measuringListDuration is a BinaryRelation. (measuringListDuration ?LIST ?DURATION) ?DURATION is the TimeDuration for all the Measuring Process contained in ?LIST, MeasuringList, take to finish.")	Weather.kif 1866-1868
(format ChineseLanguage measuringListDuration "（量度）Measuring 串列 list %1 持续了%2 那么久的时间")	Weather.kif 1873-1873
(format EnglishLanguage measuringListDuration "The Measuring for list %1 takes %2.")	Weather.kif 1869-1869
(termFormat ChineseLanguage measuringListDuration "量度串列持续时间")	domainEnglishFormat.kif 10405-10405
(termFormat EnglishLanguage measuringListDuration "measuring list duration")	domainEnglishFormat.kif 10404-10404

antecedent

(=>
    (measuringListDuration ?LIST ?DURATION)
    (exists (?T)
        (and
            (equal ?T
                (TimeIntervalFn
                    (BeginFn
                        (WhenFn
                            (FirstFn ?LIST)))
                    (EndFn
                        (WhenFn
                            (LastFn ?LIST)))))
            (duration ?T ?DURATION))))

Weather.kif 1878-1886

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

(=> (equal ?SPEED (Mean10MinutesWindSpeedFn ?PLACE ?TIME)) (holdsDuring ?TIME (exists (?MLIST ?RLIST ?NLIST ?UNIT) (and (instance ?MLIST MeasuringSurfaceWindSpeedList) (locationMeasuringList ?MLIST ?PLACE) (measuringListInterval ?MLIST (MeasureFn 5 SecondDuration)) (measuringListDuration ?MLIST (MeasureFn 10 MinuteDuration)) (equal 120 (ListLengthFn ?MLIST)) (measuringResult ?MLIST ?RLIST) (equal ?NLIST (PhysicalQuantityToNumberFn ?RLIST)) (equal ?SPEED (MeasureFn (AverageFn ?NLIST) ?UNIT))))))	Weather.kif 2223-2240	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
(=> (equal ?SPEED (Mean1MinuteWindSpeedFn ?PLACE ?TIME)) (holdsDuring ?TIME (exists (?MLIST ?RLIST ?NLIST ?UNIT) (and (instance ?MLIST MeasuringSurfaceWindSpeedList) (locationMeasuringList ?MLIST ?PLACE) (measuringListInterval ?MLIST (MeasureFn 5 SecondDuration)) (measuringListDuration ?MLIST (MeasureFn 1 MinuteDuration)) (equal 12 (ListLengthFn ?MLIST)) (measuringResult ?MLIST ?RLIST) (equal ?NLIST (PhysicalQuantityToNumberFn ?RLIST)) (equal ?SPEED (MeasureFn (AverageFn ?NLIST) ?UNIT))))))	Weather.kif 2328-2345	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
(=> (equal ?SPEED (Mean2MinutesWindSpeedFn ?PLACE ?TIME)) (holdsDuring ?TIME (exists (?MLIST ?RLIST ?NLIST ?UNIT) (and (instance ?MLIST MeasuringSurfaceWindSpeedList) (locationMeasuringList ?MLIST ?PLACE) (measuringListInterval ?MLIST (MeasureFn 5 SecondDuration)) (measuringListDuration ?MLIST (MeasureFn 2 MinuteDuration)) (equal 24 (ListLengthFn ?MLIST)) (measuringResult ?MLIST ?RLIST) (equal ?NLIST (PhysicalQuantityToNumberFn ?RLIST)) (equal ?SPEED (MeasureFn (AverageFn ?NLIST) ?UNIT))))))	Weather.kif 2293-2310	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
(=> (equal ?SPEED (Mean3MinutesWindSpeedFn ?PLACE ?TIME)) (holdsDuring ?TIME (exists (?MLIST ?RLIST ?NLIST ?UNIT) (and (instance ?MLIST MeasuringSurfaceWindSpeedList) (locationMeasuringList ?MLIST ?PLACE) (measuringListInterval ?MLIST (MeasureFn 5 SecondDuration)) (measuringListDuration ?MLIST (MeasureFn 2 MinuteDuration)) (equal 36 (ListLengthFn ?MLIST)) (measuringResult ?MLIST ?RLIST) (equal ?NLIST (PhysicalQuantityToNumberFn ?RLIST)) (equal ?SPEED (MeasureFn (AverageFn ?NLIST) ?UNIT))))))	Weather.kif 2258-2275	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
(=> (equal ?SPEED (Mean3SecondWindSpeedFn ?PLACE ?TIME)) (holdsDuring ?TIME (exists (?MLIST ?RLIST ?NLIST ?UNIT) (and (instance ?MLIST MeasuringSurfaceWindSpeedList) (locationMeasuringList ?MLIST ?PLACE) (measuringListInterval ?MLIST (MeasureFn 0.25 SecondDuration)) (measuringListDuration ?MLIST (MeasureFn 3 SecondDuration)) (equal 12 (ListLengthFn ?MLIST)) (measuringResult ?MLIST ?RLIST) (equal ?NLIST (PhysicalQuantityToNumberFn ?RLIST)) (equal ?SPEED (MeasureFn (AverageFn ?NLIST) ?UNIT))))))	Weather.kif 1904-1921	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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: