VelocityFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - VelocityFn

VelocityFn

appearance as argument number 1

(documentation VelocityFn ChineseLanguage "这个函数指出一个物体的速度，也就是说速率和速率的方向。例如： (VelocityFn (MeasureFn 55 Mile) (MeasureFn 2 HourDuration) ?REFERENCE North)表示从一个预定的坐标 ?REFERENCE 以每小时55英里的速度向北移动。")	chinese_format.kif 2486-2489
(documentation VelocityFn EnglishLanguage "Specifies the velocity of an object, i.e. the speed and the direction of the speed. For example (VelocityFn (MeasureFn 55 Mile) (MeasureFn 2 HourDuration) ?REFERENCE North) denotes the velocity of 55 miles per hour North of the given reference point ?REFERENCE.")	Merge.kif 6394-6397
(domain VelocityFn 1 LengthMeasure)	Merge.kif 6388-6388	The number 1 argument of velocity is an instance of length measure
(domain VelocityFn 2 TimeDuration)	Merge.kif 6389-6389	The number 2 argument of velocity is an instance of time duration
(domain VelocityFn 3 Region)	Merge.kif 6390-6390	The number 3 argument of velocity is an instance of region
(domain VelocityFn 4 DirectionalAttribute)	Merge.kif 6391-6391	The number 4 argument of velocity is an instance of directional attribute
(instance VelocityFn QuaternaryFunction)	Merge.kif 6386-6386	Velocity is an instance of quaternary function
(instance VelocityFn TotalValuedRelation)	Merge.kif 6387-6387	Velocity is an instance of total valued relation
(range VelocityFn FunctionQuantity)	Merge.kif 6392-6392	The range of velocity is an instance of function quantity

appearance as argument number 2

(format ChineseLanguage VelocityFn "%1 除以 %2 在 %3 处往 %4 方向")	chinese_format.kif 661-661
(format EnglishLanguage VelocityFn "%1 per %2 in %3 in the direction %4")	english_format.kif 667-667
(termFormat ChineseLanguage VelocityFn "速度")	domainEnglishFormat.kif 61438-61438
(termFormat ChineseLanguage VelocityFn "速度函数")	chinese_format.kif 662-662
(termFormat ChineseTraditionalLanguage VelocityFn "速度")	domainEnglishFormat.kif 61437-61437
(termFormat EnglishLanguage VelocityFn "velocity")	domainEnglishFormat.kif 61436-61436

antecedent

(=> (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) (measure ?ZEPHYR (VelocityFn ?DIST ?TIME ?PLACE ?DIR-TOWARD)) (oppositeDirection ?DIR-TOWARD ?DIR-FROM)) (surfaceWindDirection ?PLACE ?DIR-FROM))	Weather.kif 194-199	If a physical is an instance of wind flow and the measure of the physical is a length measure per a time duration in a region in the direction an entity-TOWARD and the entity-FROM is an opposite direction of the entity-TOWARD, then the entity-FROM is a surface wind direction of the region
(=> (and (measure (FlowFn ?FLUID) (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION)) (piece ?PART ?FLUID)) (measure ?PART (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION)))	Geography.kif 4697-4701	If the measure of the flow of a substance is a length measure per a time duration in a region in the direction a directional attribute and another substance is a piece of the substance, then the measure of the other substance is the length measure per the time duration in the region in the direction the directional attribute
(=> (measure ?OBJECT (VelocityFn ?DISTANCE ?TIME ?REF ?DIRECTION)) (measure ?OBJECT (SpeedFn ?DISTANCE ?TIME)))	Merge.kif 6399-6401	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

consequent

(=> (and (measure (FlowFn ?FLUID) (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION)) (piece ?PART ?FLUID)) (measure ?PART (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION)))	Geography.kif 4697-4701	If the measure of the flow of a substance is a length measure per a time duration in a region in the direction a directional attribute and another substance is a piece of the substance, then the measure of the other substance is the length measure per the time duration in the region in the direction the directional attribute
(=> (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

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