(=>
(distance ?OBJ1 ?OBJ2 ?QUANT)
(distance ?OBJ2 ?OBJ1 ?QUANT)) |
Merge.kif 7868-7870 |
If the distance between X and Y is Z, then the distance between Y and X is Z |
(=>
(altitude ?OBJ1 ?OBJ2 ?Q)
(distance ?OBJ1 ?OBJ2 ?Q)) |
Merge.kif 7872-7874 |
If the altitude of X relative to Y is Z, then the distance between X and Y is Z |
(=>
(altitude ?OBJ1 ?OBJ2 ?HEIGHT)
(exists (?TOP)
(and
(top ?TOP ?OBJ1)
(distance ?TOP ?OBJ2 ?HEIGHT)))) |
Merge.kif 7895-7900 |
If the altitude of X relative to Y is Z, then there exists W such that the top of X is W, the distance between W, and Y is Z |
(=>
(depth ?OBJ1 ?OBJ2 ?DEPTH)
(exists (?BOTTOM)
(and
(bottom ?BOTTOM ?OBJ1)
(distance ?BOTTOM ?OBJ2 ?DEPTH)))) |
Merge.kif 7919-7924 |
If the depth from X to Y is Z, then there exists W such that the bottom of X is W, the distance between W, and Y is Z |
(=>
(width ?OBJECT ?WIDTH)
(exists (?SIDE1 ?SIDE2)
(and
(side ?SIDE1 ?OBJECT)
(side ?SIDE2 ?OBJECT)
(distance ?SIDE1 ?SIDE2 ?WIDTH)))) |
Merge.kif 9988-9994 |
If the width of X is Y, then there exist Z, W such that a side of X is Z, a side of X is W, the distance between Z, and W is Y |
(=>
(and
(height ?OBJECT ?HEIGHT)
(top ?TOP ?OBJECT)
(bottom ?BOTTOM ?OBJECT))
(distance ?TOP ?BOTTOM ?HEIGHT)) |
Merge.kif 10003-10008 |
If the height of X is Y, the top of X is Z, and the bottom of X is W, then the distance between Z and W is Y |
(=>
(and
(physicalEnd ?P1 ?O)
(physicalEnd ?P2 ?O)
(not
(equal ?P1 ?P2))
(distance ?P1 ?P2
(MeasureFn ?D ?U)))
(not
(exists (?OP1 ?OP2 ?N2)
(and
(physicalEnd ?OP1 ?O)
(physicalEnd ?OP2 ?O)
(not
(equal ?OP1 ?OP2))
(distance ?OP1 ?OP2
(MeasureFn ?N2 ?U))
(greaterThan ?N2 ?D))))) |
Merge.kif 18287-18302 |
If one end of X is Y, one end of X is Z, equal Y and Z, and the distance between Y and Z is W V(s), then there don't exist U, T and S such that one end of X is U and one end of X is T and equal U and T and the distance between U and T is S V(s) and S is greater than W |
(=>
(and
(physicalEnd ?E1 ?O)
(physicalEnd ?E2 ?O)
(part ?P1 ?E1)
(part ?P2 ?E2)
(instance ?U UnitOfLength)
(distance ?P1 ?P2
(MeasureFn ?D1 ?U))
(not
(equal ?E1 ?E2)))
(not
(exists (?OP1 ?OP2 ?D2)
(and
(not
(part ?OP1 ?E1))
(not
(part ?OP2 ?E2))
(distance ?OP1 ?OP2
(MeasureFn ?D2 ?U))
(greaterThan ?D2 ?D1))))) |
Mid-level-ontology.kif 1550-1570 |
If All of the following hold: (1) one end of X is Y (2) one end of X is Z (3) W is a part of Y (4) V is a part of Z (5) U is an instance of unit of length (6) the distance between W and V is T U(s) (7) equal Y and Z, then there don't exist S, R and Q such that S is not a part of Y and R is not a part of Z and the distance between S and R is Q U(s) and Q is greater than T |
(=>
(equal
(MeasureFn ?X PoundForce)
(JankaHardnessFn ?CLASS))
(modalAttribute
(exists (?T ?W ?P ?B ?H ?S)
(and
(instance ?T ?CLASS)
(part ?W ?T)
(instance ?W Wood)
(instance ?P Pushing)
(destination ?P ?W)
(instance ?B Ball)
(material ?B Steel)
(patient ?P ?B)
(sphereRadius ?B
(MeasureFn 5.64 Millimeter))
(result ?P ?H)
(instance ?H HoleRegion)
(part ?H ?W)
(surface ?S ?W)
(distance ?S ?H
(MeasureFn 5.64 Millimeter))
(measure ?P
(MeasureFn ?X PoundForce)))) Likely)) |
Mid-level-ontology.kif 10569-10592 |
If equal X pound force(s) and The Janka Hardness of Y is, then the statement there exist Z, W,, , V,, , U,, , T and S such that Z is an instance of Y and W is a part of Z and W is an instance of wood and V is an instance of pushing and V ends up at W and U is an instance of ball and steel is made of U and U is a patient of V and the radius of U is 5.64 millimeter(s) and T is a result of V and T is an instance of hole and T is a part of W and S is a surface of W and the distance between S and T is 5.64 millimeter(s) and the measure of V is X pound force(s) has the modal force of likely |
(=>
(and
(instance ?P Pushing)
(origin ?P ?O)
(agent ?P ?A)
(holdsDuring
(BeginFn ?P)
(located ?A ?ALOC))
(destination ?P ?D))
(holdsDuring
(ImmediateFutureFn
(BeginFn ?P))
(exists (?LARGER ?U ?SMALLER)
(and
(distance ?ALOC ?D
(MeasureFn ?SMALLER ?U))
(distance ?ALOC ?O
(MeasureFn ?LARGER ?U))
(greaterThan ?LARGER ?SMALLER))))) |
Mid-level-ontology.kif 19536-19554 |
If X is an instance of pushing, X originates at Y, Z is an agent of X, Z is located at W holds during the beginning of X, and X ends up at V, then there exist U, T and S such that the distance between W and V is S T(s) and the distance between W and Y is U T(s) and U is greater than S holds during immediately after the beginning of X |
(=>
(and
(instance ?P Pulling)
(origin ?P ?O)
(agent ?P ?A)
(holdsDuring
(BeginFn ?P)
(located ?A ?ALOC))
(destination ?P ?D))
(holdsDuring
(ImmediateFutureFn
(BeginFn ?P))
(exists (?LARGER ?U ?SMALLER)
(and
(distance ?ALOC ?D
(MeasureFn ?SMALLER ?U))
(distance ?ALOC ?O
(MeasureFn ?LARGER ?U))
(greaterThan ?LARGER ?SMALLER))))) |
Mid-level-ontology.kif 19558-19576 |
If X is an instance of pulling, X originates at Y, Z is an agent of X, Z is located at W holds during the beginning of X, and X ends up at V, then there exist U, T and S such that the distance between W and V is S T(s) and the distance between W and Y is U T(s) and U is greater than S holds during immediately after the beginning of X |
(=>
(and
(instance ?A AstronomicalBody)
(approximateDiameter ?A
(MeasureFn ?D ?U))
(instance ?U UnitOfLength)
(instance ?P PointInSpace)
(part ?P ?A))
(exists (?C)
(and
(equal ?C
(CenterOfPlanetFn ?A))
(distance ?C ?P
(MeasureFn
(DivisionFn ?D 2.0) ?U))))) |
Mid-level-ontology.kif 28094-28108 |
If X is an instance of astronomical body, the approximate diameter of X is Y Z(s), Z is an instance of unit of length, W is an instance of point in space, and W is a part of X, then there exists V such that equal V and the centre of AstronomicalBody X is and the distance between V and W is Y and 2.0 Z(s) |
(=>
(and
(instance ?MAF MovingAwayFrom)
(instance ?RELATIVEOBJECT Object)
(instance ?REFERENCEOBJECT Object)
(patient ?MAF ?RELATIVEOBJECT)
(patient ?MAF ?REFERENCEOBJECT))
(exists (?BEFOREDISTANCE ?AFTERDISTANCE ?U)
(and
(instance ?BEFOREDISTANCE RealNumber)
(instance ?AFTERDISTANCE RealNumber)
(moves ?MAF ?RELATIVEOBJECT)
(holdsDuring
(BeginFn
(WhenFn ?MAF))
(distance ?RELATIVEOBJECT ?REFERENCEOBJECT
(MeasureFn ?BEFOREDISTANCE ?U)))
(holdsDuring
(EndFn
(WhenFn ?MAF))
(distance ?RELATIVEOBJECT ?REFERENCEOBJECT
(MeasureFn ?AFTERDISTANCE ?U)))
(greaterThan ?AFTERDISTANCE ?BEFOREDISTANCE)))) |
Mid-level-ontology.kif 34214-34234 |
If X is an instance of moving away from, Y is an instance of object, Z is an instance of object, Y is a patient of X, and Z is a patient of X, then there exist W, V and U such that W is an instance of real number and V is an instance of real number and Y moves during X and the distance between Y and Z is W U(s) holds during the beginning of the time of existence of X and the distance between Y and Z is V U(s) holds during the end of the time of existence of X and V is greater than W |
(=>
(and
(instance ?MT MovingTowards)
(instance ?RELATIVEOBJECT Object)
(instance ?REFERENCEOBJECT Object)
(patient ?MT ?REFERENCEOBJECT)
(patient ?MT ?RELATIVEOBJECT))
(exists (?BEFOREDISTANCE ?AFTERDISTANCE ?U)
(and
(instance ?BEFOREDISTANCE RealNumber)
(instance ?AFTERDISTANCE RealNumber)
(instance ?U UnitOfLength)
(moves ?MT ?RELATIVEOBJECT)
(holdsDuring
(BeginFn
(WhenFn ?MT))
(distance ?RELATIVEOBJECT ?REFERENCEOBJECT
(MeasureFn ?BEFOREDISTANCE ?U)))
(holdsDuring
(EndFn
(WhenFn ?MT))
(distance ?RELATIVEOBJECT ?REFERENCEOBJECT
(MeasureFn ?AFTERDISTANCE ?U)))
(greaterThan ?BEFOREDISTANCE ?AFTERDISTANCE)))) |
Mid-level-ontology.kif 34241-34262 |
If X is an instance of moving towards, Y is an instance of object, Z is an instance of object, Z is a patient of X, and Y is a patient of X, then there exist W, V and U such that W is an instance of real number and V is an instance of real number and U is an instance of unit of length and Y moves during X and the distance between Y and Z is W U(s) holds during the beginning of the time of existence of X and the distance between Y and Z is V U(s) holds during the end of the time of existence of X and W is greater than V |
(=>
(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 674-686 |
If the amplitude X is Y and Z is a patient of X, then All of the following hold: (1) there exist W, V,, , U (2) T such that U takes place during the time of existence of X (3) T takes place during the time of existence of X (4) Z is located at W holds during U (5) Z is located at V holds during T (6) the distance between W (7) V is Y |
(=>
(and
(physicalAmplitude ?T
(MeasureFn ?L ?U))
(instance ?U UnitOfLength)
(patient ?T ?O))
(not
(exists (?P1 ?P2 ?T1 ?T2 ?L2)
(and
(during ?T1
(WhenFn ?T))
(during ?T2
(WhenFn ?T))
(holdsDuring ?T1
(located ?O ?P1))
(holdsDuring ?T2
(located ?O ?P2))
(distance ?P1 ?P2
(MeasureFn ?L2 ?U))
(greaterThan ?L2 ?L))))) |
Cars.kif 688-705 |
If the amplitude X is Y Z(s), Z is an instance of unit of length, and W is a patient of X, then there don't exist V, U,, , T,, , S and R such that T takes place during the time of existence of X and S takes place during the time of existence of X and W is located at V holds during T and W is located at U holds during S and the distance between V and U is R Z(s) and R is greater than Y |
(=>
(and
(instance ?EC EngineCycle)
(instance ?E InternalCombustionEngine)
(instance ?P Piston)
(instance ?U UnitOfLength)
(part ?P ?E)
(patient ?EC ?P)
(eventLocated ?EC ?E)
(pistonStroke ?E
(MeasureFn ?LM ?U)))
(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
(MeasureFn ?D ?U))
(greaterThan ?D ?LM))))) |
Cars.kif 1807-1829 |
If All of the following hold: (1) X is an instance of engine cycle (2) Y is an instance of internal combustion engine (3) Z is an instance of piston (4) W is an instance of unit of length (5) Z is a part of Y (6) Z is a patient of X (7) X is located at Y (8) the maximum distance that the pistons of engine Y travel is V W(s), then there don't exist U, T,, , S,, , R and Q such that U takes place during the time of existence of X and T takes place during the time of existence of X and Z is located at S holds during U and Z is located at R holds during T and the distance between S and R is Q W(s) and Q is greater than V |
(=>
(instance ?AREA UniformPerimeterArea)
(exists (?WIDTH)
(distance
(InnerBoundaryFn ?AREA)
(OuterBoundaryFn ?AREA) ?WIDTH))) |
Geography.kif 2283-2286 |
If X is an instance of uniform perimeter area, then there exists Y such that the distance between the inner boundary of X and the outer boundary of X is Y |
(=>
(elevation ?OBJECT ?HEIGHT)
(exists (?DATUM)
(and
(properPart ?DATUM SeaLevel)
(orientation ?OBJECT ?DATUM Vertical)
(distance ?OBJECT ?DATUM ?HEIGHT)))) |
Geography.kif 3365-3371 |
If X is an elevation of Y, then there exists Z such that Z is a proper part of sea level, Y is vertical to to Z, the distance between Y, and Z is X |
(=>
(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 3373-3381 |
If X Y(s) is an elevation of Z, Y is an instance of unit of length, and Z is an instance of land form, then there exists W such that the top of Z is W and the distance between W and sea level is X Y(s) |
(=>
(and
(origin AntarcticCircumpolarCurrent ?START)
(destination AntarcticCircumpolarCurrent ?FINISH))
(distance ?START ?FINISH
(MeasureFn 21000.0
(KiloFn Meter)))) |
Geography.kif 6239-6245 |
If antarctic circumpolar current originates at X and antarctic circumpolar current ends up at Y, then the distance between X and Y is 21000.0 1 thousand meters(s) |
(<=>
(attribute ?WATER OpenSea)
(exists (?LAND ?DIST)
(and
(instance ?WATER SaltWaterArea)
(not
(instance ?WATER LandlockedWater))
(distance ?LAND ?WATER
(MeasureFn ?DIST NauticalMile))
(greaterThan ?DIST 5.0)))) |
Geography.kif 6253-6262 |
Open sea is an attribute of X if and only if there exist Y and Z such that X is an instance of salt water area and X is not an instance of landlocked water and the distance between Y and X is Z nautical mile(s) and Z is greater than 5.0 |
(=>
(and
(instance ?P Pulling)
(agent ?P ?A)
(patient ?P ?PULLED)
(destination ?P ?D))
(holdsDuring ?P
(exists (?SMALLER ?LARGER)
(and
(distance ?A ?D ?SMALLER)
(distance ?PULLED ?D ?LARGER)
(greaterThan ?LARGER ?SMALLER))))) |
Military.kif 1034-1045 |
If X is an instance of pulling, Y is an agent of X, Z is a patient of X, and X ends up at W, then there exist V, U such that the distance between Y, W is V, the distance between Z, W is U, and U is greater than V holds during X |
(=>
(instance ?R ThreeDRadar)
(hasPurpose ?R
(exists (?D ?O ?A ?O ?L ?P)
(and
(instance ?D Discovering)
(instrument ?D ?R)
(destination ?D ?O)
(instance ?O Object)
(origin ?L ?O)
(instance ?L ReflectingLight)
(subProcess ?L ?D)
(destination ?L ?P)
(part ?P ?R)
(agent ?D ?A)
(instance ?A Human)
(knows ?A
(exists (?DIST ?DEG ?HIGH)
(and
(distance ?O ?P ?DIST)
(relativeBearing ?O ?P ?DEG)
(altitude ?O ?P ?HIGH)))))))) |
Transportation.kif 5316-5337 |
If X is an instance of three D radar, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , Z,, , V (2) U such that Y is an instance of discovering (3) X is an instrument for Y (4) Y ends up at Z (5) Z is an instance of object (6) V originates at Z (7) V is an instance of reflecting light (8) V is a subprocess of Y (9) V ends up at U (10) U is a part of X (11) W is an agent of Y (12) W is an instance of human (13) W knows there exist T, S (14) R such that the distance between Z (15) U is T (16) Z is relative bearing U for S (17) the altitude of Z relative to U is R |
(=>
(and
(instance ?TC TropicalCyclone)
(destination ?TC ?DEST)
(instance ?DEST GeographicArea))
(not
(exists (?L ?SL ?X)
(and
(instance ?L LandArea)
(instance ?SL Shoreline)
(located ?DEST ?L)
(distance ?L ?SL
(MeasureFn ?X Mile))
(greaterThan ?X 200.0))))) |
Weather.kif 1118-1131 |
If X is an instance of tropical cyclone, X ends up at Y, and Y is an instance of geographic area, then there don't exist Z, W and V such that Z is an instance of land area and W is an instance of shoreline and Y is located at Z and the distance between Z and W is V mile(s) and V is greater than 200.0 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
distance