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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VelocityFn
VelocityFn

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


(documentation VelocityFn ChineseLanguage "这个函数指出一个物体的速度,也就是说速率和速率的方向。 例如: (VelocityFn (MeasureFn 55 Mile) (MeasureFn 2 HourDuration) ?REFERENCE North)表示从一个预定的坐标 ?REFERENCE 以每小时55英里的速度向北移动。") chinese_format.kif 2486-2489
(documentation VelocityFn EnglishLanguage "Specifies the velocity of an object, i.e. the speed and the direction of the speed. For example (VelocityFn (MeasureFn 55 Mile) (MeasureFn 2 HourDuration) ?REFERENCE North) denotes the velocity of 55 miles per hour North of the given reference point ?REFERENCE.") Merge.kif 6344-6347
(domain VelocityFn 1 LengthMeasure) Merge.kif 6338-6338 domain VelocityFn, 1 and LengthMeasure
(domain VelocityFn 2 TimeDuration) Merge.kif 6339-6339 domain VelocityFn, 2 and TimeDuration
(domain VelocityFn 3 Region) Merge.kif 6340-6340 domain VelocityFn, 3 and Region
(domain VelocityFn 4 DirectionalAttribute) Merge.kif 6341-6341 domain VelocityFn, 4 and DirectionalAttribute
(instance VelocityFn QuaternaryFunction) Merge.kif 6336-6336 instance VelocityFn and QuaternaryFunction
(instance VelocityFn TotalValuedRelation) Merge.kif 6337-6337 instance VelocityFn and TotalValuedRelation
(range VelocityFn FunctionQuantity) Merge.kif 6342-6342 range VelocityFn and FunctionQuantity

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


(format ChineseLanguage VelocityFn "%1 除以 %2 在 %3 处往 %4 方向") chinese_format.kif 661-661
(format EnglishLanguage VelocityFn "%1 per %2 in %3 in the direction %4") english_format.kif 667-667
(termFormat ChineseLanguage VelocityFn "速度") domainEnglishFormat.kif 61341-61341
(termFormat ChineseLanguage VelocityFn "速度函数") chinese_format.kif 662-662
(termFormat ChineseTraditionalLanguage VelocityFn "速度") domainEnglishFormat.kif 61340-61340
(termFormat EnglishLanguage VelocityFn "velocity") domainEnglishFormat.kif 61339-61339

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


(=>
    (and
        (instance ?PLACE Object)
        (instance ?BLOW Wind)
        (measure ?BLOW
            (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION)))
    (surfaceWindVelocity ?PLACE
        (SpeedFn ?DIST ?TIME) ?DIRECTION))
Weather.kif 115-120
(=>
    (and
        (instance ?ZEPHYR WindFlow)
        (measure ?ZEPHYR
            (VelocityFn ?DIST ?TIME ?PLACE ?DIR-TOWARD))
        (oppositeDirection ?DIR-TOWARD ?DIR-FROM))
    (surfaceWindDirection ?PLACE ?DIR-FROM))
Weather.kif 181-186
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION))
        (piece ?PART ?FLUID))
    (measure ?PART
        (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION)))
Geography.kif 4597-4601
(=>
    (measure ?OBJECT
        (VelocityFn ?DISTANCE ?TIME ?REF ?DIRECTION))
    (measure ?OBJECT
        (SpeedFn ?DISTANCE ?TIME)))
Merge.kif 6349-6351

consequent
-------------------------


(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION))
        (piece ?PART ?FLUID))
    (measure ?PART
        (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION)))
Geography.kif 4597-4601
(=>
    (and
        (surfaceWindVelocity ?PLACE
            (SpeedFn ?DIST ?TIME) ?DIRECTION)
        (instance ?PLACE WindFlow))
    (exists (?BLOW)
        (and
            (instance ?BLOW Wind)
            (eventPartlyLocated ?BLOW ?PLACE)
            (measure ?BLOW
                (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION)))))
Weather.kif 105-113


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners