| 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 6661-6664 | |
| (documentation SpeedFn JapaneseLanguage "LengthMeasure のインスタンスと TimeDuration の インスタンスを、この距離と時間の比率で表される速度にマップする。 例：(SpeedFn (MeasureFn 55 Mile)(MeasureFn 1 HourDuration)) は、時速５５マイルの速度を表す。") | japanese_format.kif 1178-1180 | |
| (domain SpeedFn 1 LengthMeasure) | Merge.kif 6657-6657 | |
| (domain SpeedFn 2 TimeDuration) | Merge.kif 6658-6658 | |
| (instance SpeedFn BinaryFunction) | Merge.kif 6656-6656 | |
| (instance SpeedFn TotalValuedRelation) | Merge.kif 6655-6655 | |
| (range SpeedFn FunctionQuantity) | Merge.kif 6659-6659 | |
| (subrelation SpeedFn PerFn) | Merge.kif 6654-6654 |
| 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 54618-54618 | |
| (termFormat ChineseLanguage SpeedFn "速率函数") | chinese_format.kif 660-660 | |
| (termFormat ChineseTraditionalLanguage SpeedFn "速度") | domainEnglishFormat.kif 54617-54617 | |
| (termFormat EnglishLanguage SpeedFn "speed") | domainEnglishFormat.kif 54616-54616 |
| 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 11142-11150 | |
| (=> (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 4877-4881 | |
| (=> (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 1702-1708 | |
| (=> (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 17114-17135 | |
| (=> (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 17142-17162 | |
| (=> (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 4877-4881 | |
| (=> (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 6679-6681 |
|
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