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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SpeedFn

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 6573-6576
(domain SpeedFn 1 LengthMeasure) Merge.kif 6569-6569 domain SpeedFn, 1 and LengthMeasure
(domain SpeedFn 2 TimeDuration) Merge.kif 6570-6570 domain SpeedFn, 2 and TimeDuration
(instance SpeedFn BinaryFunction) Merge.kif 6568-6568 instance SpeedFn and BinaryFunction
(instance SpeedFn TotalValuedRelation) Merge.kif 6567-6567 instance SpeedFn and TotalValuedRelation
(range SpeedFn FunctionQuantity) Merge.kif 6571-6571 range SpeedFn and FunctionQuantity
(subrelation SpeedFn PerFn) Merge.kif 6566-6566 subrelation SpeedFn and PerFn

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


(format ChineseLanguage SpeedFn "%1 除以 %2") chinese_format.kif 659-659
(format EnglishLanguage SpeedFn "%1 per %2") english_format.kif 662-662
(termFormat ChineseLanguage SpeedFn "速度") domainEnglishFormat.kif 54585-54585
(termFormat ChineseLanguage SpeedFn "速率函数") chinese_format.kif 660-660
(termFormat ChineseTraditionalLanguage SpeedFn "速度") domainEnglishFormat.kif 54584-54584
(termFormat EnglishLanguage SpeedFn "speed") domainEnglishFormat.kif 54583-54583

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


(=>
    (and
        (governorSpeed ?V ?Q)
        (equal
            (MeasureFn ?FAST MilesPerHour)
            (SpeedFn ?L1 ?T1))
        (equal
            (MeasureFn ?SLOW MilesPerHour)
            (SpeedFn ?L2 ?T2))
        (greaterThan ?FAST ?SLOW)
        (equal ?FASTPROB
            (ProbabilityFn
                (measure ?V
                    (MeasureFn ?FAST MilesPerHour))))
        (equal ?SLOWPROB
            (ProbabilityFn
                (measure ?V
                    (MeasureFn ?SLOW MilesPerHour)))))
    (greaterThan ?SLOWPROB ?FASTPROB))
Cars.kif 2884-2902
(=>
    (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 11041-11049
(=>
    (and
        (instance ?ZEPHYR WindFlow)
        (instance ?PLACE Object)
        (partlyLocated ?ZEPHYR ?PLACE)
        (elevation ?ZEPHYR
            (MeasureFn ?X FootLength))
        (lessThanOrEqualTo ?X 500.0)
        (measure ?ZEPHYR
            (SpeedFn ?DIST ?TIME)))
    (surfaceWindSpeed ?PLACE
        (SpeedFn ?DIST ?TIME)))
Weather.kif 148-157
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (SpeedFn ?LENGTH ?TIME))
        (piece ?PART ?FLUID))
    (piece ?PART
        (SpeedFn ?LENGTH ?TIME)))
Geography.kif 4797-4801
(=>
    (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
(=>
    (and
        (topSpeed ?V
            (MeasureFn ?Q ?CU))
        (instance ?CU CompositeUnitOfMeasure)
        (instance ?UL UnitOfLength)
        (instance ?UD UnitOfDuration)
        (equal ?FASTPROB
            (ProbabilityFn
                (measure ?V
                    (SpeedFn
                        (MeasureFn ?L1 ?UL)
                        (MeasureFn ?T1 ?UD)))))
        (equal ?SLOWPROB
            (ProbabilityFn
                (measure ?V
                    (SpeedFn
                        (MeasureFn ?L2 ?UL)
                        (MeasureFn ?T2 ?UD)))))
        (greaterThan
            (SpeedFn ?L1 ?T1) ?Q)
        (greaterThan ?Q
            (SpeedFn ?L2 ?T2)))
    (greaterThan ?SLOWPROB ?FASTPROB))
Transportation.kif 1718-1736
(=>
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?DISTANCE NauticalMile)
            (MeasureFn ?TIME HourDuration)))
    (equal ?SPEED
        (MeasureFn
            (DivisionFn ?DISTANCE ?TIME) KnotUnitOfSpeed)))
Geography.kif 3851-3859

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


(<=>
    (equal ?SPEED
        (MeasureFn ?NUM MilesPerHour))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM Mile)
            (MeasureFn 1 HourDuration))))
Weather.kif 1701-1707 equal FunctionQuantity and MeasureFn RealNumber and MilesPerHour equal FunctionQuantity and SpeedFn MeasureFn RealNumber and Mile and MeasureFn 1 and HourDuration
(=>
    (and
        (instance ?ACCELERATE Accelerating)
        (agent ?ACCELERATE ?AGENT))
    (exists (?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)
        (and
            (holdsDuring
                (BeginFn
                    (WhenFn ?ACCELERATE))
                (measure ?AGENT
                    (SpeedFn
                        (MeasureFn ?LENGTH1 ?U1)
                        (MeasureFn ?TIME1 ?U2))))
            (holdsDuring
                (EndFn
                    (WhenFn ?ACCELERATE))
                (measure ?AGENT
                    (SpeedFn
                        (MeasureFn ?LENGTH2 ?U1)
                        (MeasureFn ?TIME2 ?U2))))
            (or
                (greaterThan ?LENGTH2 ?LENGTH1)
                (greaterThan ?TIME2 ?TIME1)))))
Mid-level-ontology.kif 16637-16658
(=>
    (and
        (instance ?D Decelerating)
        (agent ?D ?A))
    (exists (?L1 ?L2 ?T1 ?T2 ?U1 ?U2)
        (and
            (holdsDuring
                (BeginFn
                    (WhenFn ?D))
                (measure ?A
                    (SpeedFn
                        (MeasureFn ?L1 ?U1)
                        (MeasureFn ?T1 ?U2))))
            (holdsDuring
                (EndFn
                    (WhenFn ?D))
                (measure ?A
                    (SpeedFn
                        (MeasureFn ?L2 ?U1)
                        (MeasureFn ?T2 ?U2))))
            (or
                (greaterThan ?L1 ?L2)
                (greaterThan ?T1 ?T2)))))
Mid-level-ontology.kif 16665-16685
(=>
    (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)
        (instance ?PLACE Object)
        (partlyLocated ?ZEPHYR ?PLACE)
        (elevation ?ZEPHYR
            (MeasureFn ?X FootLength))
        (lessThanOrEqualTo ?X 500.0)
        (measure ?ZEPHYR
            (SpeedFn ?DIST ?TIME)))
    (surfaceWindSpeed ?PLACE
        (SpeedFn ?DIST ?TIME)))
Weather.kif 148-157
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (SpeedFn ?LENGTH ?TIME))
        (piece ?PART ?FLUID))
    (piece ?PART
        (SpeedFn ?LENGTH ?TIME)))
Geography.kif 4797-4801
(=>
    (equal ?SPEED
        (MeasureFn ?NUM KnotUnitOfSpeed))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM NauticalMile)
            (MeasureFn 1.0 HourDuration))))
Geography.kif 3861-3867
(=>
    (measure ?OBJECT
        (VelocityFn ?DISTANCE ?TIME ?REF ?DIRECTION))
    (measure ?OBJECT
        (SpeedFn ?DISTANCE ?TIME)))
Merge.kif 6591-6593


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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