(=>
(between ?END1 ?MID ?END2)
(between ?END2 ?MID ?END1)) |
Merge.kif 4271-4273 |
If X is between Y and Z, then X is between Z and Y |
(=>
(betweenOnPath ?OBJ1 ?OBJ2 ?OBJ3 ?PATH)
(between ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 4288-4290 |
If X is between Y and Z on path W, then X is between Y and Z |
(=>
(connects ?OBJ1 ?OBJ2 ?OBJ3)
(between ?OBJ2 ?OBJ1 ?OBJ3)) |
Merge.kif 9763-9765 |
If X connects Y and Z, then X is between Y and Z |
(=>
(and
(path ?PROCESS ?PATH1)
(origin ?PROCESS ?SOURCE)
(destination ?PROCESS ?DEST)
(length ?PATH1
(MeasureFn ?MEASURE1 ?U))
(distance ?SOURCE ?DEST
(MeasureFn ?DISTANCE ?U))
(not
(greaterThan ?MEASURE1 ?DISTANCE))
(part ?OBJ ?PATH1))
(between ?SOURCE ?OBJ ?DEST)) |
Merge.kif 11334-11344 |
If All of the following hold: (1) X is path along which Y occurs (2) Y originates at Z (3) Y ends up at W (4) the length of X is V U(s) (5) the distance between Z and W is T U(s) (6) V is not greater than T (7) S is a part of X, then S is between Z and W |
(=>
(and
(subclass ?T1C Tissue)
(subclass ?T2C Tissue)
(instance ?T1 ?T1C)
(instance ?T2 ?T2C)
(instance ?H Human)
(part ?T1 ?H)
(part ?T2 ?H)
(not
(equal ?T1C ?T2C))
(not
(subclass ?T1C ?T2C))
(not
(subclass ?T2C ?T1C))
(orientation ?T1 ?T2 Adjacent))
(modalAttribute
(exists (?CT)
(and
(instance ?CT ConnectiveTissue)
(between ?T1 ?CT ?T2))) Likely)) |
Merge.kif 15462-15483 |
If All of the following hold: (1) X is a subclass of tissue (2) Y is a subclass of tissue (3) Z is an instance of X (4) W is an instance of Y (5) V is an instance of human (6) Z is a part of V (7) W is a part of V (8) equal X and Y (9) X is not a subclass of Y (10) Y is not a subclass of X (11) Z is adjacent to W, then the statement there exists U such that U is an instance of connective tissue, U is between Z, and W has the modal force of likely |
(=>
(and
(instance ?DIRECT DirectionalAttribute)
(orientation ?OBJ1 ?OBJ2 ?DIRECT)
(orientation ?OBJ2 ?OBJ3 ?DIRECT))
(between ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 17358-17363 |
If X is an instance of directional attribute, Y is X to Z, and Z is X to W, then Z is between Y and W |
(=>
(instance ?FRONT StormFront)
(exists (?AIR1 ?AIR2)
(and
(instance ?AIR1 Air)
(instance ?AIR2 Air)
(between ?AIR1 ?FRONT ?AIR2)))) |
Mid-level-ontology.kif 10448-10454 |
If X is an instance of storm front, then there exist Y, Z such that Y is an instance of air, Z is an instance of air, X is between Y, and Z |
(=>
(attribute ?O Transparent)
(modalAttribute
(exists (?S ?A ?D)
(and
(instance ?S Seeing)
(agent ?S ?A)
(destination ?S ?D)
(between ?O ?A ?D))) Possibility)) |
Mid-level-ontology.kif 16699-16708 |
If transparent is an attribute of X, then the statement there exist Y, Z, W such that Y is an instance of seeing, Z is an agent of Y, Y ends up at W, Z is between X, and W has the modal force of possibility |
(=>
(attribute ?O Translucent)
(modalAttribute
(not
(exists (?S ?A ?D)
(and
(instance ?S Seeing)
(agent ?S ?A)
(destination ?S ?D)
(between ?O ?A ?D)))) Likely)) |
Mid-level-ontology.kif 16715-16725 |
If translucent is an attribute of X, then the statement there don't exist Y, Z, W such that Y is an instance of seeing, Z is an agent of Y, Y ends up at W, Z is between X, and W has the modal force of likely |
(=>
(attribute ?O Translucent)
(modalAttribute
(exists (?EMIT ?S ?OBJ)
(and
(instance ?EMIT RadiatingLight)
(resource ?EMIT ?S)
(destination ?EMIT ?OBJ)
(between ?S ?O ?OBJ)
(holdsDuring
(WhenFn ?EMIT)
(attribute ?OBJ Illuminated)))) Possibility)) |
Mid-level-ontology.kif 16727-16739 |
If translucent is an attribute of X, then All of the following hold: (1) the statement there exist Y, Z (2) W such that Y is an instance of radiating light (3) Z is a resource for Y (4) Y ends up at W (5) X is between Z (6) W (7) illuminated is an attribute of W holds during the time of existence of Y has the modal force of possibility |
(=>
(instance ?HALL Hallway)
(hasPurpose ?HALL
(exists (?TRAN ?BUILD ?R1 ?R2)
(and
(instance ?TRAN Translocation)
(path ?TRAN ?HALL)
(located ?HALL ?BUILD)
(instance ?BUILD Building)
(between ?R1 ?HALL ?R2)
(instance ?R1 Room)
(instance ?R2 Room)
(located ?R1 ?BUILD)
(located ?R2 ?BUILD)
(not
(equal ?R1 ?R2)))))) |
Mid-level-ontology.kif 17221-17236 |
If X is an instance of hall, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of translocation (3) X is path along which Y occurs (4) X is located at Z (5) Z is an instance of building (6) X is between W (7) V (8) W is an instance of room (9) V is an instance of room (10) W is located at Z (11) V is located at Z (12) equal W (13) V |
(=>
(and
(verticalAxis ?V ?O)
(instance ?O Aircraft)
(top ?T ?O)
(bottom ?B ?O)
(centerOfMass ?C ?O)
(part ?T ?V)
(part ?B ?V)
(part ?C ?V))
(between ?C ?T ?B)) |
Mid-level-ontology.kif 19339-19349 |
If All of the following hold: (1) X is the verticalAxis of Y (2) Y is an instance of aircraft (3) the top of Y is Z (4) the bottom of Y is W (5) V is the centerOfMass of Y (6) Z is a part of X (7) W is a part of X (8) V is a part of X, then Z is between V and W |
(=>
(and
(longitudinalAxis ?V ?O)
(instance ?O Aircraft)
(equal ?F
(FrontFn ?O))
(equal ?B
(BackFn ?O))
(centerOfMass ?C ?O)
(part ?F ?V)
(part ?B ?V)
(part ?C ?V))
(between ?C ?F ?B)) |
Mid-level-ontology.kif 19362-19372 |
If All of the following hold: (1) X is the longitudinalAxis of Y (2) Y is an instance of aircraft (3) equal Z and the front of Y (4) equal W and the back of Y (5) V is the centerOfMass of Y (6) Z is a part of X (7) W is a part of X (8) V is a part of X, then Z is between V and W |
(=>
(and
(transverseAxis ?V ?O)
(instance ?O Aircraft)
(side ?L ?O)
(side ?R ?O)
(orientation ?L ?R Left)
(orientation ?R ?L Right)
(centerOfMass ?C ?O)
(part ?L ?V)
(part ?R ?V)
(part ?C ?V))
(between ?C ?L ?R)) |
Mid-level-ontology.kif 19386-19398 |
If All of the following hold: (1) X is the transverseAxis of Y (2) Y is an instance of aircraft (3) a side of Y is Z (4) a side of Y is W (5) Z is left of to W (6) W is right of to Z (7) V is the centerOfMass of Y (8) Z is a part of X (9) W is a part of X (10) V is a part of X, then Z is between V and W |
(=>
(instance ?LW LaminatedWindshield)
(exists (?G1 ?G2 ?P)
(and
(instance ?G1 Glass)
(instance ?G2 Glass)
(instance ?P Plastic)
(part ?G1 ?LW)
(part ?G2 ?LW)
(part ?P ?LW)
(between ?G1 ?P ?G2)))) |
Cars.kif 3126-3136 |
If X is an instance of windshield, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of glass (3) Z is an instance of glass (4) W is an instance of plastic (5) Y is a part of X (6) Z is a part of X (7) W is a part of X (8) W is between Y (9) Z |
(=>
(and
(instance ?MID MiddleCIButton)
(component ?MID ?DEV)
(instance ?DEV ComputerInputDevice))
(exists (?LEFT ?RIGHT)
(and
(instance ?RIGHT RightCIButton)
(instance ?LEFT LeftCIButton)
(component ?RIGHT ?DEV)
(component ?LEFT ?DEV)
(between ?LEFT ?MID ?RIGHT)
(orientation ?MID ?LEFT Left)
(orientation ?MID ?RIGHT Right)))) |
ComputerInput.kif 240-253 |
If X is an instance of middle CI button, X is a component of Y, and Y is an instance of computer input device, then All of the following hold: (1) there exist Z (2) W such that W is an instance of right CI button (3) Z is an instance of left CI button (4) W is a component of Y (5) Z is a component of Y (6) X is between Z (7) W (8) X is left of to Z (9) X is right of to W |
(=>
(instance ?S Sandwich)
(exists (?B1 ?B2 ?F)
(and
(instance ?B1 BreadOrBiscuit)
(instance ?B2 BreadOrBiscuit)
(instance ?F
(FoodForFn Human))
(between ?B1 ?F ?B2)
(not
(equal ?B1 ?B2))
(not
(equal ?B1 ?F))
(not
(equal ?B2 ?F))
(part ?B1 ?S)
(part ?B2 ?S)
(part ?F ?S)))) |
Food.kif 1569-1582 |
If X is an instance of sandwich, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of bread or biscuit (3) Z is an instance of bread or biscuit (4) W is an instance of food for human (5) W is between Y (6) Z (7) equal Y (8) Z (9) equal Y (10) W (11) equal Z (12) W (13) Y is a part of X (14) Z is a part of X (15) W is a part of X |
(=>
(and
(instance ?ZONE MaritimeContiguousZone)
(claimedTerritory ?ZONE ?AREA)
(instance ?WATER TerritorialSea)
(claimedTerritory ?WATER ?AREA))
(between ?AREA ?WATER ?ZONE)) |
Geography.kif 2663-2669 |
If X is an instance of maritime contiguous zone, Y is a claimed territory of X, Z is an instance of territorial sea, and Y is a claimed territory of Z, then Z is between Y and X |
(=>
(and
(instance ?Isthmus Isthmus)
(side ?Leftside ?Isthmus)
(side ?Rightside ?Isthmus)
(not
(equal ?Leftside ?Rightside)))
(exists (?Region1 ?Region2 ?Water1 ?Water2)
(and
(instance ?Region1 LandArea)
(instance ?Region2 LandArea)
(between ?Region1 ?Isthmus ?Region2)
(instance ?Water1 WaterArea)
(instance ?Water2 WaterArea)
(meetsSpatially ?Leftside ?Water1)
(meetsSpatially ?Rightside ?Water2)))) |
Geography.kif 7423-7437 |
If X is an instance of isthmus, a side of X is Y, a side of X is Z, and equal Y and Z, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of land area (3) V is an instance of land area (4) X is between W (5) V (6) U is an instance of water area (7) T is an instance of water area (8) Y meets U (9) Z meets T |
(=>
(holdsDuring ?T
(attribute ?H Pneumothorax))
(holdsDuring ?T
(exists (?A)
(and
(instance ?A Air)
(instance ?L Lung)
(instance ?C Chest)
(part ?L ?H)
(part ?C ?H)
(between ?L ?A ?C))))) |
Medicine.kif 778-789 |
If collapsed lung is an attribute of X holds during Y, then All of the following hold: (1) there exists Z such that Z is an instance of air (2) W is an instance of lung (3) V is an instance of chest (4) W is a part of X (5) V is a part of X (6) Z is between W (7) V holds during Y |
(=>
(and
(instance ?VCS VentedChestSeal)
(instance ?AT Attaching)
(objectTransferred ?AT ?VCS)
(destination ?AT ?H))
(hasPurpose ?VCS
(exists (?A ?L ?C)
(and
(instance ?A Air)
(instance ?L Lung)
(instance ?C Chest)
(part ?L ?H)
(part ?C ?H)
(holdsDuring
(ImmediatePastFn
(WhenFn ?AT))
(between ?L ?A ?C))
(hasPurpose ?VCS
(holdsDuring
(ImmediateFutureFn
(WhenFn ?AT))
(orientation ?A ?H Outside))))))) |
Medicine.kif 832-854 |
If X is an instance of vented chest seal, Y is an instance of attaching, the object transferred in Y is X, and Y ends up at Z, then All of the following hold: (1) X has the purpose there exist W, V (2) U such that W is an instance of air (3) V is an instance of lung (4) U is an instance of chest (5) V is a part of Z (6) U is a part of Z (7) W is between V (8) U holds during immediately before the time of existence of Y (9) X has the purpose W is outside of to Z holds during immediately after the time of existence of Y |
(=>
(and
(instance ?T Thoracentesis)
(patient ?T ?H))
(exists (?I ?O ?IN ?L ?C ?F)
(and
(instance ?I Inserting)
(subProcess ?I ?T)
(objectTransferred ?I ?N)
(origin ?I ?O)
(destination ?I ?IN)
(instance ?N Needle)
(attribute ?F Fluid)
(objectTransferred ?T ?F)
(destination ?F ?O)
(instance ?L Lung)
(instance ?C Chest)
(part ?L ?H)
(part ?C ?H)
(origin ?T ?IN)
(destination ?T ?O)
(between ?L ?IN ?C)
(orientation ?O ?H Outside)))) |
Medicine.kif 874-896 |
If X is an instance of needle decompression and Y is a patient of X, then All of the following hold: (1) there exist Z, W,, , V,, , U,, , T (2) S such that Z is an instance of inserting (3) Z is a subprocess of X (4) the object transferred in Z is R (5) Z originates at W (6) Z ends up at V (7) R is an instance of needle (8) fluid is an attribute of S (9) the object transferred in X is S (10) S ends up at W (11) U is an instance of lung (12) T is an instance of chest (13) U is a part of Y (14) T is a part of Y (15) X originates at V (16) X ends up at W (17) V is between U (18) T (19) W is outside of to Y |
between