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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpeedFn
SpeedFn

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


(documentation SpeedFn ChineseLanguage "这个函数把LengthMeasure 的一个实例和 TimeDuration 的一个实例和由这个时间和距离比例所代表的速率联系起来。例如: (SpeedFn (MeasureFn 55 Mile)(MeasureFn 1 HourDuration))表示速度55英里每小时。") chinese_format.kif 2483-2485
(documentation SpeedFn EnglishLanguage "Maps an instance of LengthMeasure and an instance of TimeDuration to the speed represented by this proportion of distance and time. For example, (SpeedFn (MeasureFn 55 Mile)(MeasureFn 1 HourDuration)) represents the velocity of 55 miles per hour.") Merge.kif 6245-6248
(domain SpeedFn 1 LengthMeasure) Merge.kif 6241-6241 The number 1 argument of speed is an instance of length measure
(domain SpeedFn 2 TimeDuration) Merge.kif 6242-6242 The number 2 argument of speed is an instance of time duration
(instance SpeedFn BinaryFunction) Merge.kif 6240-6240 Speed is an instance of binary function
(instance SpeedFn TotalValuedRelation) Merge.kif 6239-6239 Speed is an instance of total valued relation
(range SpeedFn FunctionQuantity) Merge.kif 6243-6243 The range of speed is an instance of function quantity
(subrelation SpeedFn PerFn) Merge.kif 6238-6238 Speed is a subrelation of per

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


(format ChineseLanguage SpeedFn "%1 除以 %2") chinese_format.kif 659-659
(format EnglishLanguage SpeedFn "%1 per %2") english_format.kif 665-665
(termFormat ChineseLanguage SpeedFn "速度") domainEnglishFormat.kif 54541-54541 "速度" is the printable form of speed in ChineseLanguage
(termFormat ChineseLanguage SpeedFn "速率函数") chinese_format.kif 660-660 "速率函数" is the printable form of speed in ChineseLanguage
(termFormat ChineseTraditionalLanguage SpeedFn "速度") domainEnglishFormat.kif 54540-54540 "速度" is the printable form of speed in ChineseTraditionalLanguage
(termFormat EnglishLanguage SpeedFn "speed") domainEnglishFormat.kif 54539-54539 "speed" is the printable form of speed in english language

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


(=>
    (and
        (instance ?WALK Walking)
        (instance ?RUN Running)
        (agent ?WALK ?AGENT)
        (agent ?RUN ?AGENT)
        (holdsDuring
            (WhenFn ?WALK)
            (measure ?AGENT
                (SpeedFn ?LENGTH1 ?TIME)))
        (holdsDuring
            (WhenFn ?RUN)
            (measure ?AGENT
                (SpeedFn ?LENGTH2 ?TIME))))
    (greaterThan ?LENGTH2 ?LENGTH1))
Merge.kif 10305-10313
(=>
    (and
        (instance ?ZEPHYR WindFlow)
        (instance ?PLACE Object)
        (partlyLocated ?ZEPHYR ?PLACE)
        (measure ?ZEPHYR
            (SpeedFn ?DIST ?TIME)))
    (surfaceWindSpeed ?PLACE
        (SpeedFn ?DIST ?TIME)))
Weather.kif 138-144
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (SpeedFn ?LENGTH ?TIME))
        (piece ?PART ?FLUID))
    (piece ?PART
        (SpeedFn ?LENGTH ?TIME)))
Geography.kif 4585-4589
(=>
    (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
(=>
    (and
        (topSpeed ?V ?Q)
        (equal ?FASTPROB
            (ProbabilityFn
                (measure ?V
                    (SpeedFn ?L1 ?T1))))
        (equal ?SLOWPROB
            (ProbabilityFn
                (measure ?V
                    (SpeedFn ?L2 ?T2))))
        (greaterThan
            (SpeedFn ?L1 ?T1) ?V)
        (greaterThan ?V
            (SpeedFn ?L2 ?T2)))
    (greaterThan ?SLOWPROB ?FASTPROB))
Transportation.kif 1711-1726
(=>
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?DISTANCE NauticalMile)
            (MeasureFn ?TIME HourDuration)))
    (equal ?SPEED
        (MeasureFn
            (DivisionFn ?DISTANCE ?TIME) KnotUnitOfSpeed)))
Geography.kif 3731-3733

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


(=>
    (and
        (instance ?ACCELERATE Accelerating)
        (agent ?ACCELERATE ?AGENT))
    (exists (?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2)
        (and
            (holdsDuring
                (BeginFn
                    (WhenFn ?ACCELERATE))
                (measure ?AGENT
                    (SpeedFn ?LENGTH1 ?TIME1)))
            (holdsDuring
                (EndFn
                    (WhenFn ?ACCELERATE))
                (measure ?AGENT
                    (SpeedFn ?LENGTH2 ?TIME2)))
            (or
                (greaterThan ?LENGTH2 ?LENGTH1)
                (greaterThan ?TIME2 ?TIME1)))))
Mid-level-ontology.kif 14727-14737
(=>
    (and
        (instance ?D Decelerating)
        (agent ?D ?A))
    (exists (?L1 ?L2 ?T1 ?T2)
        (and
            (holdsDuring
                (BeginFn
                    (WhenFn ?D))
                (measure ?A
                    (SpeedFn ?L1 ?T1)))
            (holdsDuring
                (EndFn
                    (WhenFn ?D))
                (measure ?A
                    (SpeedFn ?L2 ?T2)))
            (or
                (greaterThan ?L1 ?L2)
                (greaterThan ?T1 ?T2)))))
Mid-level-ontology.kif 14743-14757
(=>
    (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)
        (instance ?PLACE Object)
        (partlyLocated ?ZEPHYR ?PLACE)
        (measure ?ZEPHYR
            (SpeedFn ?DIST ?TIME)))
    (surfaceWindSpeed ?PLACE
        (SpeedFn ?DIST ?TIME)))
Weather.kif 138-144
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (SpeedFn ?LENGTH ?TIME))
        (piece ?PART ?FLUID))
    (piece ?PART
        (SpeedFn ?LENGTH ?TIME)))
Geography.kif 4585-4589
(=>
    (equal ?SPEED
        (MeasureFn ?NUM KnotUnitOfSpeed))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM NauticalMile)
            (MeasureFn 1 HourDuration))))
Geography.kif 3735-3737
(=>
    (measure ?OBJECT
        (VelocityFn ?DISTANCE ?TIME ?REF ?DIRECTION))
    (measure ?OBJECT
        (SpeedFn ?DISTANCE ?TIME)))
Merge.kif 6263-6265


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