Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PhysicalQuantityToNumberFn

Sigma KEE - PhysicalQuantityToNumberFn
PhysicalQuantityToNumberFn

appearance as argument number 1
-------------------------


(documentation PhysicalQuantityToNumberFn ChineseLanguage "(PhysicalQuantityToNumberFn ?QLIST) 把 MeasuringResultList (?QLIST) 的(物理量)PhysicalQuantities 转换成另一个顺序相同的相关(数字串列) Number List。") Weather.kif 1829-1831
(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 1824-1826
(domain PhysicalQuantityToNumberFn 1 MeasuringResultList) Weather.kif 1833-1833
(instance PhysicalQuantityToNumberFn UnaryFunction) Weather.kif 1834-1834
(range PhysicalQuantityToNumberFn NumberList) Weather.kif 1835-1835

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (and
        (equal ?NLIST
            (PhysicalQuantityToNumberFn ?QLIST))
        (equal ?QUANT
            (ListOrderFn ?N ?QLIST))
        (equal ?NUM
            (ListOrderFn ?N ?NLIST)))
    (equal
        (MeasureFn ?NUM ?UNIT) ?QUANT))
Weather.kif 1837-1844

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 2216-2233
(=>
    (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 2321-2338
(=>
    (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 2286-2303
(=>
    (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 2251-2268
(=>
    (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 1903-1920
(=>
    (equal ?SPEED
        (ThreeSecondGustSpeedFn ?PLACE ?TIME))
    (exists (?SPEEDLIST ?NLIST)
        (and
            (equal ?SPEEDLIST
                (Mean3SecondWindSpeedListFn ?PLACE ?TIME))
            (equal ?NLIST
                (PhysicalQuantityToNumberFn ?SPEEDLIST))
            (equal ?SPEED
                (MeasureFn
                    (MaxValueFn ?NLIST) ?UNIT)))))
Weather.kif 2031-2041


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

Show without tree


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