TreeView Knowledge Base Browser - measuringListDuration

appearance as argument number 1

(domain measuringListDuration 1 MeasuringList)	Weather.kif 1870-1870	Die Zahl 1 Argument von measuringListDuration ist ein fall von MeasuringList %n{nicht}
(domain measuringListDuration 2 TimeDuration)	Weather.kif 1871-1871	Die Zahl 2 Argument von measuringListDuration ist ein fall von TimeDuration %n{nicht}
(instance measuringListDuration BinaryPredicate)	Weather.kif 1872-1872	measuringListDuration ist ein fall von BinaryPredicate %n{nicht}

appearance as argument number 2

(documentation ChineseLanguage measuringListDuration "measuringListDuration 是一个（二元关系）BinaryRelation。 (measuringListDuration ?LIST ?DURATION) ?DURATION 是串列 ?LIST (MeasuringList) 上所有（量度过程）Measuring Processes 从开始到结束的(持续时间) TimeDuration。")	Weather.kif 1866-1868
(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 1862-1864
(format ChineseLanguage measuringListDuration "（量度）Measuring 串列 list %1 持续了%2 那么久的时间")	Weather.kif 1869-1869
(format EnglishLanguage measuringListDuration "The Measuring for list %1 takes %2.")	Weather.kif 1865-1865
(termFormat ChineseLanguage measuringListDuration "量度串列持续时间")	domainEnglishFormat.kif 10400-10400
(termFormat EnglishLanguage measuringListDuration "measuring list duration")	domainEnglishFormat.kif 10399-10399

antecedent

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

Weather.kif 1874-1882

Wenn measuringListDuration MeasuringList and TimeDuration,
dann es gibt TimeInterval um ** TimeInterval ist gleich abstand zwischen der anfang von die zeit des Bestehens von FirstFn ** MeasuringList und das ende von die zeit des Bestehens von LastFn ** MeasuringList %n{nicht} und dauer von ** TimeInterval ist ** TimeDuration %n{nicht}

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 2219-2236	Wenn FunctionQuantity ist gleich Mean10MinutesWindSpeedFn GeographicArea and TimeInterval %n{nicht}, dann es gibt entity, entity,, , entity, and und entity um entity ist ein fall von MeasuringSurfaceWindSpeedList %n{nicht} und locationMeasuringList entity and GeographicArea und measuringListInterval entity and 5 SecondDuration(s) und measuringListDuration entity and 10 MinuteDuration(s) und 120 ist gleich Laenge von entity %n{nicht} und measuringResult entity and entity und entity ist gleich PhysicalQuantityToNumberFn entity %n{nicht} und FunctionQuantity ist gleich AverageFn entity entity(s) %n{nicht} haelt waehrend TimeInterval %n{nicht}
(=> (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 2324-2341	Wenn FunctionQuantity ist gleich Mean1MinuteWindSpeedFn GeographicArea and TimeInterval %n{nicht}, dann es gibt entity, entity,, , entity, and und entity um entity ist ein fall von MeasuringSurfaceWindSpeedList %n{nicht} und locationMeasuringList entity and GeographicArea und measuringListInterval entity and 5 SecondDuration(s) und measuringListDuration entity and 1 MinuteDuration(s) und 12 ist gleich Laenge von entity %n{nicht} und measuringResult entity and entity und entity ist gleich PhysicalQuantityToNumberFn entity %n{nicht} und FunctionQuantity ist gleich AverageFn entity entity(s) %n{nicht} haelt waehrend TimeInterval %n{nicht}
(=> (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 2289-2306	Wenn FunctionQuantity ist gleich Mean2MinutesWindSpeedFn GeographicArea and TimeInterval %n{nicht}, dann es gibt entity, entity,, , entity, and und entity um entity ist ein fall von MeasuringSurfaceWindSpeedList %n{nicht} und locationMeasuringList entity and GeographicArea und measuringListInterval entity and 5 SecondDuration(s) und measuringListDuration entity and 2 MinuteDuration(s) und 24 ist gleich Laenge von entity %n{nicht} und measuringResult entity and entity und entity ist gleich PhysicalQuantityToNumberFn entity %n{nicht} und FunctionQuantity ist gleich AverageFn entity entity(s) %n{nicht} haelt waehrend TimeInterval %n{nicht}
(=> (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 2254-2271	Wenn FunctionQuantity ist gleich Mean3MinutesWindSpeedFn GeographicArea and TimeInterval %n{nicht}, dann es gibt entity, entity,, , entity, and und entity um entity ist ein fall von MeasuringSurfaceWindSpeedList %n{nicht} und locationMeasuringList entity and GeographicArea und measuringListInterval entity and 5 SecondDuration(s) und measuringListDuration entity and 2 MinuteDuration(s) und 36 ist gleich Laenge von entity %n{nicht} und measuringResult entity and entity und entity ist gleich PhysicalQuantityToNumberFn entity %n{nicht} und FunctionQuantity ist gleich AverageFn entity entity(s) %n{nicht} haelt waehrend TimeInterval %n{nicht}
(=> (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 1900-1917	Wenn FunctionQuantity ist gleich Mean3SecondWindSpeedFn GeographicArea and TimeInterval %n{nicht}, dann es gibt entity, entity,, , entity, and und entity um entity ist ein fall von MeasuringSurfaceWindSpeedList %n{nicht} und locationMeasuringList entity and GeographicArea und measuringListInterval entity and 0.25 SecondDuration(s) und measuringListDuration entity and 3 SecondDuration(s) und 12 ist gleich Laenge von entity %n{nicht} und measuringResult entity and entity und entity ist gleich PhysicalQuantityToNumberFn entity %n{nicht} und FunctionQuantity ist gleich AverageFn entity entity(s) %n{nicht} haelt waehrend TimeInterval %n{nicht}

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

KB Term:			Term intersection

English Word: