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 6662-6665
(documentation SpeedFn JapaneseLanguage "LengthMeasure のインスタンスと TimeDuration の インスタンスを、この距離と時間の比率で表される速度にマップする。　例：(SpeedFn (MeasureFn 55 Mile)(MeasureFn 1 HourDuration)) は、時速５５マイルの速度を表す。") japanese_format.kif 1178-1180
(domain SpeedFn 1 LengthMeasure) Merge.kif 6658-6658
(domain SpeedFn 2 TimeDuration) Merge.kif 6659-6659
(instance SpeedFn BinaryFunction) Merge.kif 6657-6657
(instance SpeedFn TotalValuedRelation) Merge.kif 6656-6656
(range SpeedFn FunctionQuantity) Merge.kif 6660-6660
(subrelation SpeedFn PerFn) Merge.kif 6655-6655

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
(format FrenchLanguage SpeedFn "%1 par %2") french_format.kif 396-396
(format ItalianLanguage SpeedFn "%1 per %2") relations-it.txt 267-267
(format JapaneseLanguage SpeedFn "%2 per %1") japanese_format.kif 2126-2126
(format PortugueseLanguage SpeedFn "%1 por %2") portuguese_format.kif 348-348
(format de SpeedFn "%1 pro &2") relations-de.txt 862-862
(format hi SpeedFn "%1 prati %2") relations-hindi.txt 304-304
(format ro SpeedFn "%1 per%t{pe} %2") relations-ro.kif 418-418
(format sv SpeedFn "%1 per %2") relations-sv.txt 439-439
(format tg SpeedFn "%1 bawa't %2") relations-tg.txt 459-459
(termFormat ChineseLanguage SpeedFn "速度") domainEnglishFormat.kif 54608-54608
(termFormat ChineseLanguage SpeedFn "速率函数") chinese_format.kif 660-660
(termFormat ChineseTraditionalLanguage SpeedFn "速度") domainEnglishFormat.kif 54607-54607
(termFormat EnglishLanguage SpeedFn "speed") domainEnglishFormat.kif 54606-54606

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 2867-2885
(=>
    (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 11192-11200
(=>
    (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 136-145
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (SpeedFn ?LENGTH ?TIME))
        (piece ?PART ?FLUID))
    (piece ?PART
        (SpeedFn ?LENGTH ?TIME)))		 Geography.kif 4899-4903
(=>
    (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 3929-3937

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


(<=>
    (equal ?SPEED
        (MeasureFn ?NUM MilesPerHour))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM Mile)
            (MeasureFn 1 HourDuration))))		 Weather.kif 1685-1691
(=>
    (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 17170-17191
(=>
    (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 17198-17218
(=>
    (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 136-145
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (SpeedFn ?LENGTH ?TIME))
        (piece ?PART ?FLUID))
    (piece ?PART
        (SpeedFn ?LENGTH ?TIME)))		 Geography.kif 4899-4903
(=>
    (equal ?SPEED
        (MeasureFn ?NUM KnotUnitOfSpeed))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM NauticalMile)
            (MeasureFn 1.0 HourDuration))))		 Geography.kif 3939-3945
(=>
    (measure ?OBJECT
        (VelocityFn ?DISTANCE ?TIME ?REF ?DIRECTION))
    (measure ?OBJECT
        (SpeedFn ?DISTANCE ?TIME)))		 Merge.kif 6680-6682


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