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 6578-6581
(domain VelocityFn 1 LengthMeasure) Merge.kif 6572-6572 速度函数 的 1 数量 是 长度测量instance
(domain VelocityFn 2 TimeDuration) Merge.kif 6573-6573 速度函数 的 2 数量 是 持续时间instance
(domain VelocityFn 3 Region) Merge.kif 6574-6574 速度函数 的 3 数量 是 地区instance
(domain VelocityFn 4 DirectionalAttribute) Merge.kif 6575-6575 速度函数 的 4 数量 是 方向属性instance
(instance VelocityFn QuaternaryFunction) Merge.kif 6570-6570 速度函数四元函数instance
(instance VelocityFn TotalValuedRelation) Merge.kif 6571-6571 速度函数总值关系instance
(range VelocityFn FunctionQuantity) Merge.kif 6576-6576 速度函数range函数量 的实例

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 664-664
(termFormat ChineseLanguage VelocityFn "速度") domainEnglishFormat.kif 61421-61421
(termFormat ChineseLanguage VelocityFn "速度函数") chinese_format.kif 662-662
(termFormat ChineseTraditionalLanguage VelocityFn "速度") domainEnglishFormat.kif 61420-61420
(termFormat EnglishLanguage VelocityFn "velocity") domainEnglishFormat.kif 61419-61419

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


(=>
    (and
        (instance ?PLACE Object)
        (instance ?BLOW Wind)
        (measure ?BLOW
            (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION)))
    (surfaceWindVelocity ?PLACE
        (SpeedFn ?DIST ?TIME) ?DIRECTION))
Weather.kif 125-130
(=>
    (and
        (instance ?ZEPHYR WindFlow)
        (measure ?ZEPHYR
            (VelocityFn ?DIST ?TIME ?PLACE ?DIR-TOWARD))
        (oppositeDirection ?DIR-TOWARD ?DIR-FROM))
    (surfaceWindDirection ?PLACE ?DIR-FROM))
Weather.kif 194-199
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION))
        (piece ?PART ?FLUID))
    (measure ?PART
        (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION)))
Geography.kif 4809-4813
(=>
    (measure ?OBJECT
        (VelocityFn ?DISTANCE ?TIME ?REF ?DIRECTION))
    (measure ?OBJECT
        (SpeedFn ?DISTANCE ?TIME)))
Merge.kif 6583-6585

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


(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION))
        (piece ?PART ?FLUID))
    (measure ?PART
        (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION)))
Geography.kif 4809-4813
(=>
    (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 115-123


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