Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - VelocityFn
VelocityFn

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


(instance VelocityFn QuaternaryFunction) Merge.kif 6785-6785 Velocity is an instance of quaternary function
(instance VelocityFn TotalValuedRelation) Merge.kif 6786-6786 Velocity is an instance of total valued relation
(domain VelocityFn 1 LengthMeasure) Merge.kif 6787-6787 The number 1 argument of velocity is an instance of length measure
(domain VelocityFn 2 TimeDuration) Merge.kif 6788-6788 The number 2 argument of velocity is an instance of time duration
(domain VelocityFn 3 Region) Merge.kif 6789-6789 The number 3 argument of velocity is an instance of region
(domain VelocityFn 4 DirectionalAttribute) Merge.kif 6790-6790 The number 4 argument of velocity is an instance of directional attribute
(range VelocityFn FunctionQuantity) Merge.kif 6791-6791 The range of velocity is an instance of function quantity
(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 6793-6796 The range of velocity is an instance of function quantity

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


(termFormat EnglishLanguage VelocityFn "velocity") domainEnglishFormat.kif 61455-61455
(termFormat ChineseTraditionalLanguage VelocityFn "速度") domainEnglishFormat.kif 61456-61456
(termFormat ChineseLanguage VelocityFn "速度") domainEnglishFormat.kif 61457-61457
(format EnglishLanguage VelocityFn "%1 per %2 in %3 in the direction %4") english_format.kif 664-664

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


(=>
    (measure ?OBJECT
        (VelocityFn ?DISTANCE ?TIME ?REF ?DIRECTION))
    (measure ?OBJECT
        (SpeedFn ?DISTANCE ?TIME)))		 Merge.kif 6798-6800 If the measure of X is Y per Z in W in the direction V, then the measure of X is Y per Z
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION))
        (piece ?PART ?FLUID))
    (measure ?PART
        (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION)))		 Geography.kif 6467-6471 If the measure of the flow of X is Y per Z in W in the direction V and U is a piece of X, then the measure of U is Y per Z in W in the direction V
(=>
    (and
        (instance ?PLACE Object)
        (instance ?BLOW Wind)
        (measure ?BLOW
            (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION)))
    (surfaceWindVelocity ?PLACE
        (SpeedFn ?DIST ?TIME) ?DIRECTION))		 Weather.kif 125-130 If X is an instance of object, Y is an instance of wind, and the measure of Y is Z per W in X in the direction V, then X is surface wind velocity Z per W for V
(=>
    (and
        (instance ?ZEPHYR WindFlow)
        (measure ?ZEPHYR
            (VelocityFn ?DIST ?TIME ?PLACE ?DIR_TOWARD))
        (oppositeDirection ?DIR_TOWARD ?DIR_FROM))
    (surfaceWindDirection ?PLACE ?DIR_FROM))		 Weather.kif 182-187 If X is an instance of wind flow, the measure of X is Y per Z in W in the direction ?DIR_TOWARD, and ?DIR_FROM is an opposite direction of ?DIR_TOWARD, then ?DIR_FROM is a surface wind direction of W

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


(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION))
        (piece ?PART ?FLUID))
    (measure ?PART
        (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION)))		 Geography.kif 6467-6471 If the measure of the flow of X is Y per Z in W in the direction V and U is a piece of X, then the measure of U is Y per Z in W in the direction V
(=>
    (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 If X is surface wind velocity Y per Z for W and X is an instance of wind flow, then there exists V such that V is an instance of wind, V is partly located at X, and the measure of V is Y per Z in X in the direction W


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners