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 6674-6677
(documentation VelocityFn JapaneseLanguage "オブジェクトの速度、つまり速度と速度の方向を指定す る。　例：(VelocityFn (MeasureFn 55 Mile)(MeasureFn 2 HourDuration) ?REFERENCE North) は、所定の基準点 ?REFERENCEの北で時速５５マイルの速度を示す。") japanese_format.kif 1181-1183
(domain VelocityFn 1 LengthMeasure) Merge.kif 6668-6668 O argumento numero 1 de VelocityFn e' uma instancia de Medida de Comprimento
(domain VelocityFn 2 TimeDuration) Merge.kif 6669-6669 O argumento numero 2 de VelocityFn e' uma instancia de Duracao Temporal
(domain VelocityFn 3 Region) Merge.kif 6670-6670 O argumento numero 3 de VelocityFn e' uma instancia de Regiao
(domain VelocityFn 4 DirectionalAttribute) Merge.kif 6671-6671 O argumento numero 4 de VelocityFn e' uma instancia de Atributo Directional
(instance VelocityFn QuaternaryFunction) Merge.kif 6666-6666 VelocityFn e' uma instancia de Funcao Quaternaria
(instance VelocityFn TotalValuedRelation) Merge.kif 6667-6667 VelocityFn e' uma instancia de Relacao Total
(range VelocityFn FunctionQuantity) Merge.kif 6672-6672 O contra-dominio de VelocityFn e' uma instancia de Funcao de Quantidade

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
(format FrenchLanguage VelocityFn "%1 par %2 en %3 dans la direction %4") french_format.kif 397-397
(format ItalianLanguage VelocityFn "%1 per %2 in %3 in direzione %4") relations-it.txt 310-310
(format JapaneseLanguage VelocityFn "方向 %4 の %3 分の %2 per 1") japanese_format.kif 2127-2127
(format PortugueseLanguage VelocityFn "%1 por %2 %3 na direcao %4") portuguese_format.kif 349-349
(format de VelocityFn "%1 pro &2 in %3 in der Richtung %4") relations-de.txt 864-864
(format hi VelocityFn "%4 kii dishaa men %3 men %1 prati %2") relations-hindi.txt 345-345
(format ro VelocityFn "%1 per%t{pe} %2 în %3 în direcþia %4") relations-ro.kif 419-419
(format sv VelocityFn "%1 per %2 i %3 i riktning %4") relations-sv.txt 440-440
(format tg VelocityFn "%1 bawa't %2 ng %3 sa ang banda %4") relations-tg.txt 502-502
(termFormat ChineseLanguage VelocityFn "速度") domainEnglishFormat.kif 61454-61454
(termFormat ChineseLanguage VelocityFn "速度函数") chinese_format.kif 662-662
(termFormat ChineseTraditionalLanguage VelocityFn "速度") domainEnglishFormat.kif 61453-61453
(termFormat EnglishLanguage VelocityFn "velocity") domainEnglishFormat.kif 61452-61452

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 4911-4915
(=>
    (measure ?OBJECT
        (VelocityFn ?DISTANCE ?TIME ?REF ?DIRECTION))
    (measure ?OBJECT
        (SpeedFn ?DISTANCE ?TIME)))		 Merge.kif 6679-6681

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


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