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 6380-6383
(domain SpeedFn 1 LengthMeasure)	Merge.kif 6376-6376	The number 1 argument of speed is an instance of length measure
(domain SpeedFn 2 TimeDuration)	Merge.kif 6377-6377	The number 2 argument of speed is an instance of time duration
(instance SpeedFn BinaryFunction)	Merge.kif 6375-6375	Speed is an instance of binary function
(instance SpeedFn TotalValuedRelation)	Merge.kif 6374-6374	Speed is an instance of total valued relation
(range SpeedFn FunctionQuantity)	Merge.kif 6378-6378	The range of speed is an instance of function quantity
(subrelation SpeedFn PerFn)	Merge.kif 6373-6373	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 54596-54596
(termFormat ChineseLanguage SpeedFn "速率函数")	chinese_format.kif 660-660
(termFormat ChineseTraditionalLanguage SpeedFn "速度")	domainEnglishFormat.kif 54595-54595
(termFormat EnglishLanguage SpeedFn "speed")	domainEnglishFormat.kif 54594-54594

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 10461-10469	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 quantity per an entity holds during the time of existence of the process and the measure of the agent is another quantity per the entity holds during the time of existence of the other process, then the other quantity is greater than the quantity
(=> (and (instance ?ZEPHYR WindFlow) (instance ?PLACE Object) (partlyLocated ?ZEPHYR ?PLACE) (measure ?ZEPHYR (SpeedFn ?DIST ?TIME))) (surfaceWindSpeed ?PLACE (SpeedFn ?DIST ?TIME)))	Weather.kif 138-144	If a physical is an instance of WindFlow and an object is an instance of object and the physical is partly located in the object and the measure of the physical is a length measure per a time duration, then the length measure per the time duration is a surface wind speed of the object
(=> (and (measure (FlowFn ?FLUID) (SpeedFn ?LENGTH ?TIME)) (piece ?PART ?FLUID)) (piece ?PART (SpeedFn ?LENGTH ?TIME)))	Geography.kif 4600-4604	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 105-113	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 WindFlow, 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 ?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	If the top speed of a vehicle is a function quantity and a real number is equal to the probability of the measure of the vehicle is a length measure per a time duration and another real number is equal to the probability of the measure of the vehicle is another length measure per another time duration and the length measure per the time duration is greater than the vehicle and the vehicle is greater than the other length measure per the other time duration, then the other real number is greater than the real number
(=> (equal ?SPEED (SpeedFn (MeasureFn ?DISTANCE NauticalMile) (MeasureFn ?TIME HourDuration))) (equal ?SPEED (MeasureFn (DivisionFn ?DISTANCE ?TIME) KnotUnitOfSpeed)))	Geography.kif 3731-3733	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 Miles) (MeasureFn 1 HourDuration))))	Weather.kif 1442-1448	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 Miles(s) per 1 hour duration(s)
(=> (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 14755-14765	If a process is an instance of accelerating and an agent is an agent of the process, then there exist a quantity, another quantity,, , a third quantity and a fourth quantity such that the measure of the agent is the quantity per the third quantity holds during the beginning of the time of existence of the process and the measure of the agent is the other quantity per the fourth quantity holds during the end of the time of existence of the process and the other quantity is greater than the quantity or the fourth quantity is greater than the third quantity
(=> (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 14771-14785	If a process is an instance of decelerating and an agent is an agent of the process, then there exist a quantity, another quantity,, , a third quantity and a fourth quantity such that the measure of the agent is the quantity per the third quantity holds during the beginning of the time of existence of the process and the measure of the agent is the other quantity per the fourth quantity holds during the end of the time of existence of the process and the quantity is greater than the other quantity or the third quantity is greater than the fourth quantity
(=> (and (instance ?PLACE Object) (instance ?BLOW Wind) (measure ?BLOW (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION))) (surfaceWindVelocity ?PLACE (SpeedFn ?DIST ?TIME) ?DIRECTION))	Weather.kif 115-120	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) (measure ?ZEPHYR (SpeedFn ?DIST ?TIME))) (surfaceWindSpeed ?PLACE (SpeedFn ?DIST ?TIME)))	Weather.kif 138-144	If a physical is an instance of WindFlow and an object is an instance of object and the physical is partly located in the object and the measure of the physical is a length measure per a time duration, then the length measure per the time duration is a surface wind speed of the object
(=> (and (measure (FlowFn ?FLUID) (SpeedFn ?LENGTH ?TIME)) (piece ?PART ?FLUID)) (piece ?PART (SpeedFn ?LENGTH ?TIME)))	Geography.kif 4600-4604	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 HourDuration))))	Geography.kif 3735-3737	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 hour duration(s)
(=> (measure ?OBJECT (VelocityFn ?DISTANCE ?TIME ?REF ?DIRECTION)) (measure ?OBJECT (SpeedFn ?DISTANCE ?TIME)))	Merge.kif 6398-6400	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