PhysicalQuantityToNumberFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation PhysicalQuantityToNumberFn ChineseLanguage "(PhysicalQuantityToNumberFn ?QLIST) 把 MeasuringResultList (?QLIST) 的（物理量）PhysicalQuantities 转换成另一个顺序相同的相关（数字串列） Number List。")	Weather.kif 1813-1815
(documentation PhysicalQuantityToNumberFn EnglishLanguage "(PhysicalQuantityToNumberFn ?QLIST) converts the PhysicalQuantities in a MeasuringResultList (?QLIST) to another list of corresponding Numbers in exactly the same order sequence.")	Weather.kif 1808-1810
(domain PhysicalQuantityToNumberFn 1 MeasuringResultList)	Weather.kif 1817-1817
(instance PhysicalQuantityToNumberFn UnaryFunction)	Weather.kif 1818-1818
(range PhysicalQuantityToNumberFn NumberList)	Weather.kif 1819-1819

appearance as argument number 2

(format ChineseLanguage PhysicalQuantityToNumberFn "PhysicalQuantityToNumberFn 得出一个串列的数字值是 %1")	Weather.kif 1816-1816
(format EnglishLanguage PhysicalQuantityToNumberFn "PhysicalQuantityToNumberFn returns the numberic values of a list of %1")	Weather.kif 1811-1812
(termFormat ChineseLanguage PhysicalQuantityToNumberFn "物理量转数字")	domainEnglishFormat.kif 10409-10409
(termFormat EnglishLanguage PhysicalQuantityToNumberFn "physical quantity to number")	domainEnglishFormat.kif 10408-10408

antecedent

(=>
    (and
        (equal ?NLIST
            (PhysicalQuantityToNumberFn ?QLIST))
        (equal ?QUANT
            (ListOrderFn ?QLIST ?N))
        (equal ?NUM
            (ListOrderFn ?NLIST ?N)))
    (equal
        (MeasureFn ?NUM ?UNIT) ?QUANT))

Weather.kif 1821-1828

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
(=> (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
(=> (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
(=> (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
(=> (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
(=> (equal ?SPEED (ThreeSecondGustSpeedFn ?PLACE ?TIME)) (exists (?SPEEDLIST ?NLIST ?UNIT) (and (equal ?SPEEDLIST (Mean3SecondWindSpeedListFn ?PLACE ?TIME)) (equal ?NLIST (PhysicalQuantityToNumberFn ?SPEEDLIST)) (equal ?SPEED (MeasureFn (MaxValueFn ?NLIST) ?UNIT)))))	Weather.kif 2021-2031

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: