distance - Sigma Knowledge base Browser

appearance as argument number 1

(documentation distance ChineseLanguage "(distance ?OBJ1 ?OBJ2 ?QUANT) 的意思是两个物体 ?OBJ1 和 ?OBJ2 最短的距离是 ?QUANT。注：谓词 length 和 distance 之间的分别在于，length 是用来表示一个单一物体其中一个维度的 LengthMeasure，而是用来表示两个不同物体之间的LengthMeasure。")	Merge.kif 7888-7890
(documentation distance EnglishLanguage "(distance ?OBJ1 ?OBJ2 ?QUANT) means that the shortest distance between the two objects ?OBJ1 and ?OBJ2 is ?QUANT. Note that the difference between the predicates length and distance is that the length is used to state the LengthMeasure of one of the dimensions of a single object, while distance is used to state the LengthMeasure that separates two distinct objects.")	Merge.kif 7882-7887
(domain distance 1 Physical)	Merge.kif 7879-7879	The number 1 argument of distance is an instance of physical
(domain distance 2 Physical)	Merge.kif 7880-7880	The number 2 argument of distance is an instance of physical
(domain distance 3 LengthMeasure)	Merge.kif 7881-7881	The number 3 argument of distance is an instance of length measure
(instance distance SingleValuedRelation)	Merge.kif 7875-7875	distance is an instance of single valued relation
(instance distance SpatialRelation)	Merge.kif 7876-7876	distance is an instance of spatial relation
(instance distance TernaryPredicate)	Merge.kif 7877-7877	distance is an instance of ternary predicate
(instance distance TotalValuedRelation)	Merge.kif 7878-7878	distance is an instance of total valued relation

appearance as argument number 2

(format ChineseLanguage distance "%1 和 %2 的 distance %n 是 %3")	chinese_format.kif 621-621
(format EnglishLanguage distance "the distance between %1 and %2 is %n %3")	english_format.kif 386-386
(subrelation depth distance)	Merge.kif 7928-7928	depth is a subrelation of distance
(termFormat ChineseLanguage distance "距离")	chinese_format.kif 622-622	"距离" is the printable form of distance in ChineseLanguage
(termFormat EnglishLanguage distance "distance")	domainEnglishFormat.kif 3744-3744	"distance" is the printable form of distance in english language

antecedent

(=> (and (instance ?AREA (MaritimeClaimsTerritorialSeaFn ?PLACE)) (width ?AREA (MeasureFn ?WIDTH ?UNIT)) (distance ?OBJ ?PLACE (MeasureFn ?DISTANCE ?UNIT)) (lessThanOrEqualTo ?DISTANCE ?WIDTH)) (located ?OBJ ?AREA))	Geography.kif 860-866	If an object is an instance of the maritime claims territorial sea of a region and the width of the object is a real number an unit of measure(s) and the distance between a physical and the region is another real number the unit of measure(s) and the other real number is less than or equal to the real number, then the physical is located at the object
(=> (and (instance ?GUN Gun) (effectiveRange ?GUN ?LM) (distance ?GUN ?O ?LM1) (instance ?O Organism) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (capability (KappaFn ?KILLING (and (instance ?KILLING Killing) (patient ?KILLING ?O))) instrument ?GUN))	Mid-level-ontology.kif 1797-1812	If a device is an instance of gun and a length measure is an effective range of the device and the distance between the device and an object is the length measure1 and the object is an instance of organism and there doesn't exist the object2 such that the object2 is between the object and the device and the length measure1 is less than or equal to the length measure, then the device is capable of doing the class described by a symbolic string as a instrument
(=> (and (instance ?GUN Gun) (effectiveRange ?GUN ?LM) (distance ?GUN ?O ?LM1) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (capability (KappaFn ?DAMAGING (and (instance ?DAMAGING Damaging) (patient ?DAMAGING ?O))) instrument ?GUN))	Mid-level-ontology.kif 1779-1793	If a device is an instance of gun and a length measure is an effective range of the device and the distance between the device and an object is the length measure1 and there doesn't exist the object2 such that the object2 is between the object and the device and the length measure1 is less than or equal to the length measure, then the device is capable of doing the class described by a symbolic string as a instrument
(=> (and (instance ?L Lever) (instance ?P Pushing) (instance ?M1 Motion) (destination ?P ?E1) (physicalEnd ?E1 ?L) (physicalEnd ?E2 ?L) (not (equal ?E1 ?E2)) (holdsDuring (ImmediatePastFn (WhenFn ?M1)) (located ?E1 ?P1)) (holdsDuring (ImmediateFutureFn (WhenFn ?M1)) (located ?E1 ?P2)) (holdsDuring (ImmediatePastFn (WhenFn ?M1)) (located ?E2 ?P3)) (holdsDuring (ImmediateFutureFn (WhenFn ?M1)) (located ?E2 ?P4)) (distance ?P1 ?P2 ?D1) (distance ?P3 ?P4 ?D2)) (greaterThan ?D2 ?D1))	Mid-level-ontology.kif 1719-1739	If an object is an instance of lever and a process is an instance of pushing and a physical is an instance of motion and the process ends up at another object and one end of the object is the other object and one end of the object is a third object and the other object is not equal to the third object and the other object is located at the process1 holds during immediately before the time of existence of the physical and the other object is located at the process2 holds during immediately after the time of existence of the physical and the third object is located at the process3 holds during immediately before the time of existence of the physical and the third object is located at the process4 holds during immediately after the time of existence of the physical and the distance between the process1 and the process2 is a length measure and the distance between the process3 and the process4 is another length measure, then the other length measure is greater than the length measure
(=> (and (orientation ?OBJ ?REGION Outside) (instance ?ZONE (PerimeterAreaFn ?REGION)) (instance ?ZONE UniformPerimeterArea) (width ?ZONE (MeasureFn ?LIMIT ?UNIT)) (distance ?OBJ ?REGION (MeasureFn ?FAR ?UNIT)) (instance ?UNIT UnitOfMeasure) (greaterThan (SubtractionFn ?FAR ?LIMIT) 0)) (not (located ?OBJ ?ZONE)))	Geography.kif 849-858	If an object is outside to a region and another object is an instance of the perimeter area of the region and the other object is an instance of uniform perimeter area and the width of the other object is a real number an unit of measure(s) and the distance between the object and the region is another real number the unit of measure(s) and the unit of measure is an instance of unit of measure and (the other real number and the real number) is greater than 0, then the object is not located at the other object
(=> (and (orientation ?OBJ ?REGION Outside) (instance ?ZONE (PerimeterAreaFn ?REGION)) (instance ?ZONE UniformPerimeterArea) (width ?ZONE (MeasureFn ?LIMIT ?UNIT)) (distance ?OBJ ?REGION (MeasureFn ?FAR ?UNIT)) (instance ?UNIT UnitOfMeasure) (lessThanOrEqualTo (SubtractionFn ?FAR ?LIMIT) 0)) (located ?OBJ ?ZONE))	Geography.kif 838-847	If an object is outside to a region and another object is an instance of the perimeter area of the region and the other object is an instance of uniform perimeter area and the width of the other object is a real number an unit of measure(s) and the distance between the object and the region is another real number the unit of measure(s) and the unit of measure is an instance of unit of measure and (the other real number and the real number) is less than or equal to 0, then the object is located at the other object
(=> (and (path ?PROCESS ?PATH1) (origin ?PROCESS ?SOURCE) (destination ?PROCESS ?DEST) (length ?PATH1 ?MEASURE1) (distance ?SOURCE ?DEST ?DISTANCE) (not (greaterThan ?MEASURE1 ?DISTANCE))) (forall (?OBJ) (=> (part ?OBJ ?PATH1) (between ?SOURCE ?OBJ ?DEST))))	Merge.kif 11044-11055	If an object is path along which a motion occurs and the motion originates at another object and the motion ends up at a third object and the length of the object is a quantity and the distance between the other object and the third object is a length measure and the quantity is not greater than the length measure, then for all a fourth object if the fourth object is a part of the object, then the fourth object is between the other object and the third object
(=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (part ?P1 ?E1) (part ?P2 ?E2) (distance ?P1 ?P2 ?D1) (not (equal ?E1 ?E2))) (not (exists (?OP1 ?OP2 ?D2) (and (not (part ?OP1 ?E1)) (not (part ?OP2 ?E2)) (distance ?OP1 ?OP2 ?D2) (greaterThan ?D2 ?D1)))))	Mid-level-ontology.kif 1685-1702	If one end of an object is another object and one end of the object is a third object and a fourth object is a part of the other object and a fifth object is a part of the third object and the distance between the fourth object and the fifth object is a length measure and the other object is not equal to the third object, then there don't exist the objectP1, the objectP2 and another length measure such that the objectP1 is not a part of the other object and the objectP2 is not a part of the third object and the distance between the objectP1 and the objectP2 is the other length measure and the other length measure is greater than the length measure
(=> (distance ?OBJ1 ?OBJ2 ?QUANT) (distance ?OBJ2 ?OBJ1 ?QUANT))	Merge.kif 7892-7894	If the distance between a physical and another physical is a length measure, then the distance between the other physical and the physical is the length measure

consequent

(<=> (attribute ?WATER OpenSea) (forall (?LAND) (and (instance ?AREA SaltWaterArea) (not (instance ?WATER LandlockedWater)) (distance ?LAND ?WATER ?DIST) (greaterThan ?DIST (MeasureFn 5 NauticalMile)))))	Geography.kif 4408-4415	Open sea is an attribute of an object if and only if for all a physical an entity is an instance of salt water area and the object is not an instance of landlocked water and the distance between the physical and the object is a length measure and the length measure is greater than 5 nautical mile(s)
(<=> (width ?OBJECT ?WIDTH) (exists (?SIDE1 ?SIDE2) (and (side ?SIDE1 ?OBJECT) (side ?SIDE2 ?OBJECT) (distance ?SIDE1 ?SIDE2 ?WIDTH))))	Merge.kif 9778-9784	The width of a self connected object is a length measure if and only if there exist another self connected object and a third self connected object such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and the distance between the other self connected object and the third self connected object is the length measure
(=> (altitude ?OBJ1 ?OBJ2 ?HEIGHT) (exists (?TOP) (and (top ?TOP ?OBJ1) (distance ?TOP ?OBJ2 ?HEIGHT))))	Merge.kif 7921-7926	If the altitude of a self connected object is a physical, then there exists another self connected object such that the top of the self connected object is the other self connected object and the distance between the other self connected object and the physical is a length measure
(=> (altitude ?OBJ1 ?OBJ2 ?Q) (distance ?OBJ1 ?OBJ2 ?Q))	Merge.kif 7896-7898	If the altitude of a physical is another physical, then the distance between the physical and the other physical is a length measure
(=> (and (elevation ?OBJECT (MeasureFn ?NUM ?UNIT)) (instance ?UNIT UnitOfLength) (instance ?OBJECT LandForm)) (exists (?HIGHPOINT) (and (top ?HIGHPOINT ?OBJECT) (distance ?HIGHPOINT SeaLevel (MeasureFn ?NUM ?UNIT)))))	Geography.kif 1863-1871	If a real number an unit of measure(s) is an elevation of a self connected object and the unit of measure is an instance of UnitOfLength and the self connected object is an instance of land form, then there exists another self connected object such that the top of the self connected object is the other self connected object and the distance between the other self connected object and sea level is the real number the unit of measure(s)
(=> (and (height ?OBJECT ?HEIGHT) (top ?TOP ?OBJECT) (bottom ?BOTTOM ?OBJECT)) (distance ?TOP ?BOTTOM ?HEIGHT))	Merge.kif 9786-9791	If the height of a self connected object is a length measure and the top of the self connected object is another self connected object and the bottom of the self connected object is a third self connected object, then the distance between the other self connected object and the third self connected object is the length measure
(=> (and (instance ?EC EngineCycle) (instance ?E InternalCombustionEngine) (instance ?P Piston) (part ?P ?E) (patient ?EC ?P) (eventLocated ?EC ?E) (pistonStroke ?E ?LM)) (not (exists (?T1 ?T2 ?L1 ?L2 ?D) (and (during ?T1 (WhenFn ?EC)) (during ?T2 (WhenFn ?EC)) (holdsDuring ?T1 (located ?P ?L1)) (holdsDuring ?T2 (located ?P ?L2)) (distance ?L1 ?L2 ?D) (greaterThan ?D ?LM)))))	Cars.kif 1932-1951	If a process is an instance of EngineCycle and an engine is an instance of internal combustion engine and an object is an instance of piston and the object is a part of the engine and the object is a patient of the process and the process is located at 2 and the maximum distance that the pistons of engine the engine travel is a length measure, then there don't exist a time interval, another time interval,, , a physical,, , another physical and another length measure such that the time interval takes place during the time of existence of the process and the other time interval takes place during the time of existence of the process and the object is located at the physical holds during the time interval and the object is located at the other physical holds during the other time interval and the distance between the physical and the other physical is the other length measure and the other length measure is greater than the length measure
(=> (and (instance ?P Pulling) (origin ?P ?O) (agent ?P ?A) (holdsDuring (BeginFn ?P) (located ?A ?ALOC)) (destination ?P ?D)) (holdsDuring (ImmediateFutureFn (BeginFn ?P)) (and (distance ?ALOC ?D ?SMALLER) (distance ?ALOC ?O ?LARGER) (greaterThan ?LARGER ?SMALLER))))	Mid-level-ontology.kif 15202-15217	If a time interval is an instance of pulling and the time interval originates at an object and an agent is an agent of the time interval and the agent is located at the agentLOC holds during the beginning of the time interval and the time interval ends up at another entity, then the distance between the agentLOC and the other entity is a third entity and the distance between the agentLOC and the object is a fourth entity and the fourth entity is greater than the third entity holds during immediately after the beginning of the time interval
(=> (and (instance ?P Pulling) (path ?P ?PATH) (agent ?P ?A) (patient ?P ?PULLED) (destination ?P ?D)) (holdsDuring ?P (and (distance ?A ?D ?SMALLER) (distance ?PULLED ?D ?LARGER) (greaterThan ?LARGER ?SMALLER))))	Military.kif 758-769	If a motion is an instance of pulling and the motionATH is path along which the motion occurs and an agent is an agent of the motion and the motionULLED is a patient of the motion and the motion ends up at another entity, then the distance between the agent and the other entity is a third entity and the distance between the motionULLED and the other entity is a fourth entity and the fourth entity is greater than the third entity holds during the motion
(=> (and (instance ?P Pushing) (origin ?P ?O) (agent ?P ?A) (holdsDuring (BeginFn ?P) (located ?A ?ALOC)) (destination ?P ?D)) (holdsDuring (ImmediateFutureFn (BeginFn ?P)) (and (distance ?ALOC ?D ?SMALLER) (distance ?ALOC ?O ?LARGER) (greaterThan ?LARGER ?SMALLER))))	Mid-level-ontology.kif 15183-15198	If a time interval is an instance of pushing and the time interval originates at an object and an agent is an agent of the time interval and the agent is located at the agentLOC holds during the beginning of the time interval and the time interval ends up at another entity, then the distance between the agentLOC and the other entity is a third entity and the distance between the agentLOC and the object is a fourth entity and the fourth entity is greater than the third entity holds during immediately after the beginning of the time interval
(=> (and (instance ?ZONE UniformPerimeterArea) (part ?INNER (InnerBoundaryFn ?ZONE))) (exists (?OUTER) (and (part ?OUTER (OuterBoundaryFn ?ZONE)) (distance ?INNER ?OUTER ?WIDTH))))	Geography.kif 829-836	If a region is an instance of uniform perimeter area and an object is a part of the inner boundary of the region, then there exists another object such that the other object is a part of the outer boundary of the region and the distance between the object and the other object is a length measure
(=> (and (origin AntarcticCircumpolarCurrent ?START) (destination AntarcticCircumpolarCurrent ?FINISH)) (distance ?START ?FINISH (MeasureFn 21000 (KiloFn Meter))))	Geography.kif 4396-4400	If antarctic circumpolar current originates at an object and antarctic circumpolar current ends up at a physical, then the distance between the object and the physical is 21000 1 thousand meters(s)
(=> (and (physicalAmplitude ?T ?L) (patient ?T ?O)) (exists (?P1 ?P2 ?T1 ?T2) (and (during ?T1 (WhenFn ?T)) (during ?T2 (WhenFn ?T)) (holdsDuring ?T1 (located ?O ?P1)) (holdsDuring ?T2 (located ?O ?P2)) (distance ?P1 ?P2 ?L))))	Cars.kif 736-748	If the amplitude a tremor is a length measure and an entity is a patient of the tremor, then there exist a physical, another physical,, , the tremor1 and the tremor2 such that the tremor1 takes place during the time of existence of the tremor and the tremor2 takes place during the time of existence of the tremor and the entity is located at the physical holds during the tremor1 and the entity is located at the other physical holds during the tremor2 and the distance between the physical and the other physical is the length measure
(=> (and (physicalAmplitude ?T ?L) (patient ?T ?O)) (not (exists (?P1 ?P2 ?T1 ?T2) (and (during ?T1 (WhenFn ?T)) (during ?T2 (WhenFn ?T)) (holdsDuring ?T1 (located ?O ?P1)) (holdsDuring ?T2 (located ?O ?P2)) (distance ?P1 ?P2 ?L2) (greaterThan ?L2 ?L)))))	Cars.kif 750-764	If the amplitude a tremor is a length measure and an entity is a patient of the tremor, then there don't exist a physical, another physical,, , the tremor1 and the tremor2 such that the tremor1 takes place during the time of existence of the tremor and the tremor2 takes place during the time of existence of the tremor and the entity is located at the physical holds during the tremor1 and the entity is located at the other physical holds during the tremor2 and the distance between the physical and the other physical is the length measure2 and the length measure2 is greater than the length measure
(=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (part ?P1 ?E1) (part ?P2 ?E2) (distance ?P1 ?P2 ?D1) (not (equal ?E1 ?E2))) (not (exists (?OP1 ?OP2 ?D2) (and (not (part ?OP1 ?E1)) (not (part ?OP2 ?E2)) (distance ?OP1 ?OP2 ?D2) (greaterThan ?D2 ?D1)))))	Mid-level-ontology.kif 1685-1702	If one end of an object is another object and one end of the object is a third object and a fourth object is a part of the other object and a fifth object is a part of the third object and the distance between the fourth object and the fifth object is a length measure and the other object is not equal to the third object, then there don't exist the objectP1, the objectP2 and another length measure such that the objectP1 is not a part of the other object and the objectP2 is not a part of the third object and the distance between the objectP1 and the objectP2 is the other length measure and the other length measure is greater than the length measure
(=> (and (visibilityInMeteorology ?Area ?Time ?Distance) (instance ?Time DayTime) (instance ?Observe Looking) (instance ?B Object) (color ?B Black) (agent ?Observe ?A) (patient ?Observe ?B) (orientation ?A ?B Horizontal) (eventLocated ?Observe ?Area) (during (WhenFn ?Observe) ?Time) (instance ?B Object)) (and (distance ?A ?B ?D2) (greaterThan ?Distance ?D2)))	Weather.kif 1137-1153	If the visibility at a region during a time interval is a length measure and the time interval is an instance of day time and a process is an instance of looking and an object is an instance of object and the object is the color black and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at 2 and the time of existence of the process takes place during the time interval and the object is an instance of object, then the distance between the agent and the object is another length measure and the length measure is greater than the other length measure
(=> (and (visibilityInMeteorology ?Area ?Time ?Distance) (instance ?Time NightTime) (instance ?Observe Looking) (instance ?B Region) (attribute ?B Illuminated) (measure ?B (MeasureFn 1000 Candela)) (agent ?Observe ?A) (patient ?Observe ?B) (orientation ?A ?B Horizontal) (eventLocated ?Observe ?Area) (during (WhenFn ?Observe) ?Time) (instance ?B Object)) (and (distance ?A ?B ?D2) (greaterThan ?Distance ?D2)))	Weather.kif 1155-1172	If the visibility at a region during a time interval is a length measure and the time interval is an instance of night time and a process is an instance of looking and an object is an instance of region and illuminated is an attribute of the object and the measure of the object is 1000 candela(s) and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at 2 and the time of existence of the process takes place during the time interval and the object is an instance of object, then the distance between the agent and the object is another length measure and the length measure is greater than the other length measure
(=> (depth ?OBJ1 ?OBJ2 ?DEPTH) (exists (?BOTTOM) (and (bottom ?BOTTOM ?OBJ1) (distance ?BOTTOM ?OBJ2 ?DEPTH))))	Merge.kif 7944-7949	If the depth from a self connected object to a physical is a length measure, then there exists another self connected object such that the bottom of the self connected object is the other self connected object and the distance between the other self connected object and the physical is the length measure
(=> (distance ?OBJ1 ?OBJ2 ?QUANT) (distance ?OBJ2 ?OBJ1 ?QUANT))	Merge.kif 7892-7894	If the distance between a physical and another physical is a length measure, then the distance between the other physical and the physical is the length measure
(=> (elevation ?OBJECT ?HEIGHT) (exists (?DATUM) (and (properPart ?DATUM SeaLevel) (orientation ?OBJECT ?DATUM Vertical) (distance ?OBJECT ?DATUM ?HEIGHT))))	Geography.kif 1855-1861	If a length measure is an elevation of an object, then there exists another object such that the other object is a proper part of sea level and the object is vertical to the other object and the distance between the object and the other object is the length measure
(=> (instance ?AREA UniformPerimeterArea) (exists (?WIDTH) (distance (InnerBoundaryFn ?AREA) (OuterBoundaryFn ?AREA) ?WIDTH)))	Geography.kif 817-820	If a region is an instance of uniform perimeter area, then there exists a length measure such that the distance between the inner boundary of the region and the outer boundary of the region is the length measure
(=> (visibilityInMeteorology ?Area ?Time ?Distance) (not (exists (?Observe ?A ?B ?D2) (and (instance ?Observe Looking) (agent ?Observe ?A) (patient ?Observe ?B) (orientation ?A ?B Horizontal) (during (WhenFn ?Observe) ?Time) (eventLocated ?Observe ?Area) (distance ?A ?B ?D2) (greaterThan ?D2 ?Distance)))))	Weather.kif 1122-1135	If the visibility at a region during a time interval is a length measure, then there don't exist a process, an agent,, , an object and another length measure such that the process is an instance of looking and the agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the time of existence of the process takes place during the time interval and the process is located at 2 and the distance between the agent and the object is the other length measure and the other length measure is greater than the length measure

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: