measuringListDuration - Sigma Knowledge base Browser

appearance as argument number 1

(domain measuringListDuration 1 MeasuringList)	Weather.kif 1857-1857	Die Zahl 1 Argument von measuringListDuration ist ein fall von MeasuringList %n{nicht}
(domain measuringListDuration 2 TimeDuration)	Weather.kif 1858-1858	Die Zahl 2 Argument von measuringListDuration ist ein fall von TimeDuration %n{nicht}
(instance measuringListDuration BinaryPredicate)	Weather.kif 1859-1859	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 1853-1855
(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 1849-1851
(format ChineseLanguage measuringListDuration "（量度）Measuring 串列 list %1 持续了%2 那么久的时间")	Weather.kif 1856-1856
(format EnglishLanguage measuringListDuration "The Measuring for list %1 takes %2.")	Weather.kif 1852-1852
(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 1861-1869

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 2206-2223	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 2311-2328	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 2276-2293	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 2241-2258	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 1887-1904	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 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

KB Term:			Term intersection

English Word: