SpeedFn - Sigma Knowledge base Browser

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 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	The number 1 argument of speed is an instance of length measure
(domain SpeedFn 2 TimeDuration)	Merge.kif 6659-6659	The number 2 argument of speed is an instance of time duration
(instance SpeedFn BinaryFunction)	Merge.kif 6657-6657	Speed is an instance of binary function
(instance SpeedFn TotalValuedRelation)	Merge.kif 6656-6656	Speed is an instance of total valued relation
(range SpeedFn FunctionQuantity)	Merge.kif 6660-6660	The range of speed is an instance of function quantity
(subrelation SpeedFn PerFn)	Merge.kif 6655-6655	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 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 54646-54646
(termFormat ChineseLanguage SpeedFn "速率函数")	chinese_format.kif 660-660
(termFormat ChineseTraditionalLanguage SpeedFn "速度")	domainEnglishFormat.kif 54645-54645
(termFormat EnglishLanguage SpeedFn "speed")	domainEnglishFormat.kif 54644-54644

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	If the maximum speed allowed by a governor is a function quantity and a real number miles per hour(s) is equal to a length measure per a time duration and another real number miles per hour(s) is equal to another length measure per another time duration and the real number is greater than the other real number and the real numberPROB is equal to the probability of the measure of the governor is the real number miles per hour(s) and the other real numberPROB is equal to the probability of the measure of the governor is the other real number miles per hour(s), then the other real numberPROB is greater than the real numberPROB
(=> (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	If a process is an instance of walking and another process is an instance of running and an agent is an agent of the process and the agent is an agent of the other process and the measure of the agent is a real number per an entity holds during the time of existence of the process and the measure of the agent is another real number per the entity holds during the time of existence of the other process, then the other real number is greater than the real number
(=> (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	If an object is an instance of wind flow and another object is an instance of object and the object is partly located in the other object and a real number foot length(s) is an elevation of the object and the real number is less than or equal to 500.0 and the measure of the object is a length measure per a time duration, then the length measure per the time duration is a surface wind speed of the other object
(=> (and (measure (FlowFn ?FLUID) (SpeedFn ?LENGTH ?TIME)) (piece ?PART ?FLUID)) (piece ?PART (SpeedFn ?LENGTH ?TIME)))	Geography.kif 4899-4903	If the measure of the flow of a substance is a length measure per a time duration and another substance is a piece of the substance, then the other substance is a piece of the length measure per the time duration
(=> (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 a region is surface wind velocity a length measure per a time duration for a directional attribute and the region is an instance of wind flow, then there exists a process such that the process is an instance of wind and the process is partly located at the region and the measure of the process is the length measure per the time duration in the region in the direction the directional attribute
(=> (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 1858-1876	If the top speed of a vehicle is a real number an unit of measure(s) and the unit of measure is an instance of composite unit of measure and an entity is an instance of unit of length and another entity is an instance of unit of duration and another real number is equal to the probability of the measure of the vehicle is a length measure the entity(s) per a time duration the other entity(s) and a third real number is equal to the probability of the measure of the vehicle is another length measure the entity(s) per another time duration the other entity(s) and the length measure per the time duration is greater than the real number and the real number is greater than the other length measure per the other time duration, then the third real number is greater than the other real number
(=> (equal ?SPEED (SpeedFn (MeasureFn ?DISTANCE NauticalMile) (MeasureFn ?TIME HourDuration))) (equal ?SPEED (MeasureFn (DivisionFn ?DISTANCE ?TIME) KnotUnitOfSpeed)))	Geography.kif 3929-3937	If a function quantity is equal to a real number nautical mile(s) per another real number hour duration(s), then the function quantity is equal to the real number and the other real number knot unit of speed(s)

consequent

(<=> (equal ?SPEED (MeasureFn ?NUM MilesPerHour)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM Mile) (MeasureFn 1 HourDuration))))	Weather.kif 1685-1691	A function quantity is equal to a real number miles per hour(s) if and only if the function quantity is equal to the real number mile(s) per 1 hour duration(s)
(=> (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 17361-17382	If a process is an instance of accelerating and an agent is an agent of the process, then there exist a real number, another real number,, , a third real number,, , a fourth real number,, , an entity and another entity such that the measure of the agent is the real number the entity(s) per the third real number the other entity(s) holds during the beginning of the time of existence of the process and the measure of the agent is the other real number the entity(s) per the fourth real number the other entity(s) holds during the end of the time of existence of the process and the other real number is greater than the real number or the fourth real number is greater than the third real number
(=> (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 17389-17409	If a process is an instance of decelerating and an agent is an agent of the process, then there exist a real number, another real number,, , a third real number,, , a fourth real number,, , an entity and another entity such that the measure of the agent is the real number the entity(s) per the third real number the other entity(s) holds during the beginning of the time of existence of the process and the measure of the agent is the other real number the entity(s) per the fourth real number the other entity(s) holds during the end of the time of existence of the process and the real number is greater than the other real number or the third real number is greater than the fourth real number
(=> (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 a region is an instance of object and a physical is an instance of wind and the measure of the physical is a length measure per a time duration in the region in the direction a directional attribute, then the region is surface wind velocity the length measure per the time duration for the directional attribute
(=> (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	If an object is an instance of wind flow and another object is an instance of object and the object is partly located in the other object and a real number foot length(s) is an elevation of the object and the real number is less than or equal to 500.0 and the measure of the object is a length measure per a time duration, then the length measure per the time duration is a surface wind speed of the other object
(=> (and (measure (FlowFn ?FLUID) (SpeedFn ?LENGTH ?TIME)) (piece ?PART ?FLUID)) (piece ?PART (SpeedFn ?LENGTH ?TIME)))	Geography.kif 4899-4903	If the measure of the flow of a substance is a length measure per a time duration and another substance is a piece of the substance, then the other substance is a piece of the length measure per the time duration
(=> (equal ?SPEED (MeasureFn ?NUM KnotUnitOfSpeed)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM NauticalMile) (MeasureFn 1.0 HourDuration))))	Geography.kif 3939-3945	If a function quantity is equal to a real number knot unit of speed(s), then the function quantity is equal to the real number nautical mile(s) per 1.0 hour duration(s)
(=> (measure ?OBJECT (VelocityFn ?DISTANCE ?TIME ?REF ?DIRECTION)) (measure ?OBJECT (SpeedFn ?DISTANCE ?TIME)))	Merge.kif 6680-6682	If the measure of a physical is a length measure per a time duration in a region in the direction a directional attribute, then the measure of the physical is the length measure per the time duration

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