Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| between |
| appearance as argument number 1 |
|
| s__instance(s__between,s__SpatialRelation)
|
Merge.kif 4260-4260 | between is an instance of spatial relation |
| s__instance(s__between,s__TernaryPredicate)
|
Merge.kif 4261-4261 | between is an instance of ternary predicate |
| s__domain(s__between,n__1,s__Object)
|
Merge.kif 4262-4262 | The number 1 argument of between is an instance of object |
| s__domain(s__between,n__2,s__Object)
|
Merge.kif 4263-4263 | The number 2 argument of between is an instance of object |
| s__domain(s__between,n__3,s__Object)
|
Merge.kif 4264-4264 | The number 3 argument of between is an instance of object |
| s__documentation(s__between, s__EnglishLanguage, "(between ?OBJ1 ?OBJ2 ?OBJ3) means that ?OBJ2 is spatially located between ?OBJ1 and ?OBJ3_ Note that this implies that ?OBJ2 is directly between ?OBJ1 and ?OBJ3, i_e_ the projections of ?OBJ1 and ?OBJ3 overlap with ?OBJ2_") | Merge.kif 4266-4269 | The number 3 argument of between is an instance of object |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| ! [V__END1,V__MID,V__END2] : (((s__instance(V__END1,s__Object) & s__instance(V__MID,s__Object) & s__instance(V__END2,s__Object)) => (s__between(V__END1,V__MID,V__END2) => s__between(V__END2,V__MID,V__END1))) )
|
Merge.kif 4271-4273 | If X is between Y and Z, then X is between Z and Y |
| ! [V__OBJ2,V__OBJ1,V__OBJ3] : (((s__instance(V__OBJ2,s__Object) & s__instance(V__OBJ1,s__Object) & s__instance(V__OBJ3,s__Object)) => (s__between(V__OBJ2,V__OBJ1,V__OBJ3) => s__connects(V__OBJ1,V__OBJ2,V__OBJ3))) )
|
Merge.kif 9767-9769 | If X is between Y and Z, then X connects Y and Z |
| ! [V__GUN : $i,V__LM : $real,V__LM1 : $real,V__O : $i,V__U : $i] : (((s__instance(V__GUN, s__Gun) & s__instance(V__U, s__UnitOfLength) & s__effectiveRange(V__GUN, s__MeasureFn(V__LM, V__U)) & s__distance(V__GUN, V__O, s__MeasureFn(V__LM1, V__U)) & ~(( ? [V__O2:$i] : (s__between(V__O, V__O2, V__GUN)))) & ($lesseq(V__LM1,V__LM))) => ( ? [V__DAMAGING:$i] : (s__capability(s__KappaFn(V__DAMAGING, (s__instance(V__DAMAGING, s__Damaging) & s__patient(V__DAMAGING, V__O))), s__instrument, V__GUN))))) | Mid-level-ontology.kif 1662-1680 | If All of the following hold: (1) X is an instance of gun (2) Y is an instance of unit of length (3) Z Y(s) is an effective range of X (4) the distance between X and W is V Y(s) (5) there doesn't exist U such that U is between W and X (6) V is less than or equal to Z, then there exists T such that X is capable of doing the class described by T as a instrument |
| ! [V__GUN : $i,V__LM : $real,V__LM1 : $real,V__O : $i,V__U : $i] : (((s__instance(V__GUN, s__Gun) & s__instance(V__U, s__UnitOfLength) & s__effectiveRange(V__GUN, s__MeasureFn(V__LM, V__U)) & s__distance(V__GUN, V__O, s__MeasureFn(V__LM1, V__U)) & s__instance(V__O, s__Organism) & ~(( ? [V__O2:$i] : (s__between(V__O, V__O2, V__GUN)))) & ($lesseq(V__LM1,V__LM))) => ( ? [V__KILLING:$i] : (s__capability(s__KappaFn(V__KILLING, (s__instance(V__KILLING, s__Killing) & s__patient(V__KILLING, V__O))), s__instrument, V__GUN))))) | Mid-level-ontology.kif 1684-1703 | If All of the following hold: (1) X is an instance of gun (2) Y is an instance of unit of length (3) Z Y(s) is an effective range of X (4) the distance between X and W is V Y(s) (5) W is an instance of organism (6) there doesn't exist U such that U is between W and X (7) V is less than or equal to Z, then there exists T such that X is capable of doing the class described by T as a instrument |
| consequent |
|
|
| ! [V__END1,V__MID,V__END2] : (((s__instance(V__END1,s__Object) & s__instance(V__MID,s__Object) & s__instance(V__END2,s__Object)) => (s__between(V__END1,V__MID,V__END2) => s__between(V__END2,V__MID,V__END1))) )
|
Merge.kif 4271-4273 | If X is between Y and Z, then X is between Z and Y |
| ! [V__OBJ1,V__OBJ2,V__OBJ3,V__PATH] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__OBJ2,s__Object) & s__instance(V__OBJ3,s__Object) & s__instance(V__PATH,s__Object)) => (s__betweenOnPath(V__OBJ1,V__OBJ2,V__OBJ3,V__PATH) => s__between(V__OBJ1,V__OBJ2,V__OBJ3))) )
|
Merge.kif 4288-4290 | If X is between Y and Z on path W, then X is between Y and Z |
| ! [V__OBJ1,V__OBJ2,V__OBJ3] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__OBJ2,s__Object) & s__instance(V__OBJ3,s__Object)) => (s__connects(V__OBJ1,V__OBJ2,V__OBJ3) => s__between(V__OBJ2,V__OBJ1,V__OBJ3))) )
|
Merge.kif 9763-9765 | If X connects Y and Z, then X is between Y and Z |
| ! [V__PROCESS,V__PATH1,V__SOURCE,V__DEST,V__MEASURE1,V__U,V__DISTANCE,V__OBJ] : (((s__instance(V__PROCESS,s__Motion) & s__instance(V__PATH1,s__Object) & s__instance(V__SOURCE,s__Object) & s__instance(V__DEST,s__Object) & s__instance(V__MEASURE1,s__RealNumber) & s__instance(V__U,s__UnitOfMeasure) & s__instance(V__DISTANCE,s__RealNumber) & s__instance(V__OBJ,s__Object)) => ((s__path(V__PROCESS,V__PATH1) & s__origin(V__PROCESS,V__SOURCE) & s__destination(V__PROCESS,V__DEST) & s__length(V__PATH1,s__MeasureFn(V__MEASURE1,V__U)) & s__distance(V__SOURCE,V__DEST,s__MeasureFn(V__DISTANCE,V__U)) & ~(s__greaterThan(V__MEASURE1,V__DISTANCE)) & s__part(V__OBJ,V__PATH1)) => s__between(V__SOURCE,V__OBJ,V__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 |
| ! [V__H : $i,V__T1 : $i,V__T1C : $i,V__T2 : $i,V__T2C : $i] : (((s__subclass(V__T1C, s__Tissue) & s__subclass(V__T2C, s__Tissue) & s__instance(V__T1, V__T1C) & s__instance(V__T2, V__T2C) & s__instance(V__H, s__Human) & s__part(V__T1, V__H) & s__part(V__T2, V__H) & ~(V__T1C = V__T2C) & ~(s__subclass(V__T1C, V__T2C)) & ~(s__subclass(V__T2C, V__T1C)) & s__orientation(V__T1, V__T2, s__Adjacent)) => s__modalAttribute(( ? [V__CT:$i] : ((s__instance(V__CT, s__ConnectiveTissue) & s__between(V__T1, V__CT, V__T2)))), s__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 |
| ! [V__OBJ1,V__OBJ2,V__OBJ3,V__DIRECT] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__OBJ2,s__Object) & s__instance(V__OBJ3,s__Object)) => ((s__instance(V__DIRECT,s__DirectionalAttribute) & s__orientation(V__OBJ1,V__OBJ2,V__DIRECT) & s__orientation(V__OBJ2,V__OBJ3,V__DIRECT)) => s__between(V__OBJ1,V__OBJ2,V__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 |
| ! [V__FRONT] : ((s__instance(V__FRONT,s__StormFront) => (? [V__AIR1,V__AIR2] : ((s__instance(V__AIR1,s__Air) & s__instance(V__AIR2,s__Air) & s__between(V__AIR1,V__FRONT,V__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 |
| ! [V__O : $i] : ((s__attribute(V__O, s__Transparent) => s__modalAttribute(( ? [V__S:$i, V__A:$i, V__D:$i] : ((s__instance(V__S, s__Seeing) & s__agent(V__S, V__A) & s__destination(V__S, V__D) & s__between(V__O, V__A, V__D)))), s__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 |
| ! [V__O : $i] : ((s__attribute(V__O, s__Translucent) => s__modalAttribute(~(( ? [V__S:$i, V__A:$i, V__D:$i] : ((s__instance(V__S, s__Seeing) & s__agent(V__S, V__A) & s__destination(V__S, V__D) & s__between(V__O, V__A, V__D))))), s__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 |
| ! [V__O : $i] : ((s__attribute(V__O, s__Translucent) => s__modalAttribute(( ? [V__EMIT:$i, V__S:$i, V__OBJ:$i] : ((s__instance(V__EMIT, s__RadiatingLight) & s__resource(V__EMIT, V__S) & s__destination(V__EMIT, V__OBJ) & s__between(V__S, V__O, V__OBJ) & s__holdsDuring(s__WhenFn(V__EMIT), s__attribute(V__OBJ, s__Illuminated))))), s__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 |
| ! [V__HALL : $i] : ((s__instance(V__HALL, s__Hallway) => s__hasPurpose(V__HALL, ( ? [V__TRAN:$i, V__BUILD:$i, V__R1:$i, V__R2:$i] : ((s__instance(V__TRAN, s__Translocation) & s__path(V__TRAN, V__HALL) & s__located(V__HALL, V__BUILD) & s__instance(V__BUILD, s__Building) & s__between(V__R1, V__HALL, V__R2) & s__instance(V__R1, s__Room) & s__instance(V__R2, s__Room) & s__located(V__R1, V__BUILD) & s__located(V__R2, V__BUILD) & ~(V__R1 = V__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 |
| ! [V__V,V__T,V__B,V__C,V__O] : (((s__instance(V__V,s__LineInSpace) & s__instance(V__T,s__SelfConnectedObject) & s__instance(V__B,s__SelfConnectedObject) & s__instance(V__C,s__SelfConnectedObject)) => ((s__verticalAxis(V__V,V__O) & s__instance(V__O,s__Aircraft) & s__top(V__T,V__O) & s__bottom(V__B,V__O) & s__centerOfMass(V__C,V__O) & s__part(V__T,V__V) & s__part(V__B,V__V) & s__part(V__C,V__V)) => s__between(V__C,V__T,V__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 |
| ! [V__V,V__F,V__B,V__C,V__O] : (((s__instance(V__V,s__LineInSpace) & s__instance(V__F,s__SelfConnectedObject) & s__instance(V__B,s__SelfConnectedObject) & s__instance(V__C,s__SelfConnectedObject)) => ((s__longitudinalAxis(V__V,V__O) & s__instance(V__O,s__Aircraft) & (V__F = s__FrontFn(V__O)) & (V__B = s__BackFn(V__O)) & s__centerOfMass(V__C,V__O) & s__part(V__F,V__V) & s__part(V__B,V__V) & s__part(V__C,V__V)) => s__between(V__C,V__F,V__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 |
| ! [V__V,V__L,V__R,V__C,V__O] : (((s__instance(V__V,s__LineInSpace) & s__instance(V__L,s__SelfConnectedObject) & s__instance(V__R,s__SelfConnectedObject) & s__instance(V__C,s__SelfConnectedObject)) => ((s__transverseAxis(V__V,V__O) & s__instance(V__O,s__Aircraft) & s__side(V__L,V__O) & s__side(V__R,V__O) & s__orientation(V__L,V__R,s__Left) & s__orientation(V__R,V__L,s__Right) & s__centerOfMass(V__C,V__O) & s__part(V__L,V__V) & s__part(V__R,V__V) & s__part(V__C,V__V)) => s__between(V__C,V__L,V__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 |
| ! [V__LW] : ((s__instance(V__LW,s__LaminatedWindshield) => (? [V__G1,V__G2,V__P] : ((s__instance(V__G1,s__Glass) & s__instance(V__G2,s__Glass) & s__instance(V__P,s__Plastic) & s__part(V__G1,V__LW) & s__part(V__G2,V__LW) & s__part(V__P,V__LW) & s__between(V__G1,V__P,V__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 |
| ! [V__MID,V__DEV] : (((s__instance(V__MID,s__MiddleCIButton) & s__component(V__MID,V__DEV) & s__instance(V__DEV,s__ComputerInputDevice)) => (? [V__LEFT,V__RIGHT] : ((s__instance(V__RIGHT,s__RightCIButton) & s__instance(V__LEFT,s__LeftCIButton) & s__component(V__RIGHT,V__DEV) & s__component(V__LEFT,V__DEV) & s__between(V__LEFT,V__MID,V__RIGHT) & s__orientation(V__MID,V__LEFT,s__Left) & s__orientation(V__MID,V__RIGHT,s__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 |
| ! [V__S] : ((s__instance(V__S,s__Sandwich) => (? [V__B1,V__B2,V__F] : ((s__instance(V__F,s__Object) & (s__instance(V__B1,s__BreadOrBiscuit) & s__instance(V__B2,s__BreadOrBiscuit) & s__instance(V__F,s__FoodForFn(s__Human)) & s__between(V__B1,V__F,V__B2) & ~((V__B1 = V__B2)) & ~((V__B1 = V__F)) & ~((V__B2 = V__F)) & s__part(V__B1,V__S) & s__part(V__B2,V__S) & s__part(V__F,V__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 |
| ! [V__AREA,V__ZONE,V__WATER] : ((s__instance(V__AREA,s__AutonomousAgent) => ((s__instance(V__ZONE,s__MaritimeContiguousZone) & s__claimedTerritory(V__ZONE,V__AREA) & s__instance(V__WATER,s__TerritorialSea) & s__claimedTerritory(V__WATER,V__AREA)) => s__between(V__AREA,V__WATER,V__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 |
| ! [V__Leftside,V__Rightside,V__Isthmus] : (((s__instance(V__Leftside,s__SelfConnectedObject) & s__instance(V__Rightside,s__SelfConnectedObject)) => ((s__instance(V__Isthmus,s__Isthmus) & s__side(V__Leftside,V__Isthmus) & s__side(V__Rightside,V__Isthmus) & ~((V__Leftside = V__Rightside))) => (? [V__Region1,V__Region2,V__Water1,V__Water2] : ((s__instance(V__Region1,s__LandArea) & s__instance(V__Region2,s__LandArea) & s__between(V__Region1,V__Isthmus,V__Region2) & s__instance(V__Water1,s__WaterArea) & s__instance(V__Water2,s__WaterArea) & s__meetsSpatially(V__Leftside,V__Water1) & s__meetsSpatially(V__Rightside,V__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 |
| ! [V__C : $i,V__H : $i,V__L : $i,V__T : $i] : ((s__holdsDuring(V__T, s__attribute(V__H, s__Pneumothorax)) => s__holdsDuring(V__T, ( ? [V__A:$i] : ((s__instance(V__A, s__Air) & s__instance(V__L, s__Lung) & s__instance(V__C, s__Chest) & s__part(V__L, V__H) & s__part(V__C, V__H) & s__between(V__L, V__A, V__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 |
| ! [V__AT : $i,V__H : $i,V__VCS : $i] : (((s__instance(V__VCS, s__VentedChestSeal) & s__instance(V__AT, s__Attaching) & s__objectTransferred(V__AT, V__VCS) & s__destination(V__AT, V__H)) => s__hasPurpose(V__VCS, ( ? [V__A:$i, V__L:$i, V__C:$i] : ((s__instance(V__A, s__Air) & s__instance(V__L, s__Lung) & s__instance(V__C, s__Chest) & s__part(V__L, V__H) & s__part(V__C, V__H) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__AT)), s__between(V__L, V__A, V__C)) & s__hasPurpose(V__VCS, s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__AT)), s__orientation(V__A, V__H, s__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 |
| ! [V__H,V__N,V__T] : (((s__instance(V__H,s__Object) & s__instance(V__N,s__Object)) => ((s__instance(V__T,s__Thoracentesis) & s__patient(V__T,V__H)) => (? [V__I,V__O,V__IN,V__L,V__C,V__F] : ((s__instance(V__O,s__Object) & s__instance(V__IN,s__Object) & s__instance(V__F,s__Object) & s__instance(V__F,s__Process) & (s__instance(V__I,s__Inserting) & s__subProcess(V__I,V__T) & s__objectTransferred(V__I,V__N) & s__origin(V__I,V__O) & s__destination(V__I,V__IN) & s__instance(V__N,s__Needle) & s__attribute(V__F,s__Fluid) & s__objectTransferred(V__T,V__F) & s__destination(V__F,V__O) & s__instance(V__L,s__Lung) & s__instance(V__C,s__Chest) & s__part(V__L,V__H) & s__part(V__C,V__H) & s__origin(V__T,V__IN) & s__destination(V__T,V__O) & s__between(V__L,V__IN,V__C) & s__orientation(V__O,V__H,s__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 |
| appearance as argument number 0 |
|
|
| s__between(s__SouthAmerica,s__SaintHelena,s__WesternAfrica)
|
CountriesAndRegions.kif 233-233 | Saint helena is between south america and western africa |
|