Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| connected |
| appearance as argument number 1 |
|
| s__instance(s__connected,s__BinaryPredicate)
|
Merge.kif 9724-9724 | connected is an instance of binary predicate |
| s__instance(s__connected,s__SpatialRelation)
|
Merge.kif 9725-9725 | connected is an instance of spatial relation |
| s__instance(s__connected,s__ReflexiveRelation)
|
Merge.kif 9726-9726 | connected is an instance of reflexive relation |
| s__instance(s__connected,s__SymmetricRelation)
|
Merge.kif 9727-9727 | connected is an instance of symmetric relation |
| s__domain(s__connected,n__1,s__Object)
|
Merge.kif 9728-9728 | The number 1 argument of connected is an instance of object |
| s__domain(s__connected,n__2,s__Object)
|
Merge.kif 9729-9729 | The number 2 argument of connected is an instance of object |
| s__documentation(s__connected, s__EnglishLanguage, "(connected ?OBJ1 ?OBJ2) means that ?OBJ1 meetsSpatially ?OBJ2 or that ?OBJ1 overlapsSpatially ?OBJ2_") | Merge.kif 9731-9732 | The number 2 argument of connected is an instance of object |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| ! [V__OBJ1,V__OBJ2] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__OBJ2,s__Object)) => (s__connected(V__OBJ1,V__OBJ2) => (s__meetsSpatially(V__OBJ1,V__OBJ2) | s__overlapsSpatially(V__OBJ1,V__OBJ2)))) )
|
Merge.kif 9734-9738 | If X is connected to Y, then X meets Y or X and Y overlapsSpatially |
| ! [V__OBJ,V__PART1,V__PART2] : (((s__instance(V__OBJ,s__Object) & s__instance(V__PART1,s__Object) & s__instance(V__PART2,s__Object)) => (((V__OBJ = s__MereologicalSumFn(V__PART1,V__PART2)) & s__connected(V__PART1,V__PART2)) => s__instance(V__OBJ,s__SelfConnectedObject))) )
|
Merge.kif 9746-9750 | If equal X, the union of the parts of Y, and Z and Y is connected to Z, then X is an instance of self connected object |
| ! [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__connected(V__OBJ1,V__OBJ2) & s__connected(V__OBJ1,V__OBJ3) & ~(s__connected(V__OBJ2,V__OBJ3))) => s__connects(V__OBJ1,V__OBJ2,V__OBJ3))) )
|
Merge.kif 9779-9785 | If X is connected to Y, X is connected to Z, and Y is not connected to Z, then X connects Y and Z |
| ! [V__BOTTOM,V__OBJECT,V__PART] : (((s__instance(V__BOTTOM,s__SelfConnectedObject) & s__instance(V__OBJECT,s__SelfConnectedObject) & s__instance(V__PART,s__Object)) => ((s__bottom(V__BOTTOM,V__OBJECT) & s__part(V__PART,V__OBJECT) & ~(s__connected(V__PART,V__BOTTOM))) => s__orientation(V__PART,V__BOTTOM,s__Above))) )
|
Merge.kif 9942-9947 | If the bottom of X is Y, Z is a part of X, and Z is not connected to Y, then Z is above to Y |
| ! [V__TOP,V__OBJECT,V__PART] : (((s__instance(V__TOP,s__SelfConnectedObject) & s__instance(V__OBJECT,s__SelfConnectedObject) & s__instance(V__PART,s__Object)) => ((s__top(V__TOP,V__OBJECT) & s__part(V__PART,V__OBJECT) & ~(s__connected(V__PART,V__TOP))) => s__orientation(V__PART,V__TOP,s__Below))) )
|
Merge.kif 9957-9962 | If the top of X is Y, Z is a part of X, and Z is not connected to Y, then Z is below to Y |
| ! [V__SIDE,V__OBJECT,V__PART] : (((s__instance(V__SIDE,s__SelfConnectedObject) & s__instance(V__OBJECT,s__SelfConnectedObject) & s__instance(V__PART,s__Object)) => ((s__side(V__SIDE,V__OBJECT) & s__part(V__PART,V__OBJECT) & ~(s__connected(V__PART,V__SIDE))) => (? [V__DIRECT] : ((s__instance(V__DIRECT,s__PositionalAttribute) & s__orientation(V__SIDE,V__PART,V__DIRECT)))))) )
|
Merge.kif 9972-9979 | If a side of X is Y, Z is a part of X, and Z is not connected to Y, then there exists W such that Y is W to Z |
| ! [V__OBJ1,V__HOLE,V__OBJ2] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__HOLE,s__HoleRegion) & s__instance(V__OBJ2,s__Object)) => ((s__properlyFills(V__OBJ1,V__HOLE) & s__connected(V__OBJ2,V__OBJ1)) => s__connected(V__HOLE,V__OBJ2))) )
|
Merge.kif 10273-10277 | If X properly fills Y and Z is connected to X, then Y is connected to Z |
| ! [V__A : $i,V__O1 : $i,V__O2 : $i] : (((s__instance(V__A, s__Attaching) & s__patient(V__A, V__O1) & s__patient(V__A, V__O2) & s__holdsDuring(s__BeginFn(s__WhenFn(V__A)), ~(s__connected(V__O1, V__O2))) & s__holdsDuring(s__EndFn(s__WhenFn(V__A)), s__connected(V__O1, V__O2))) => (s__objectAttached(V__A, V__O1) & s__objectAttached(V__A, V__O2)))) | Merge.kif 12671-12685 | If X is an instance of attaching, Y is a patient of X, Z is a patient of X, Y is not connected to Z holds during the beginning of the time of existence of X, and Y is connected to Z holds during the end of the time of existence of X, then X attaches Y to another object and X attaches Z to another object |
| ! [V__A : $i,V__D : $i,V__O1 : $i,V__O2 : $i] : (((s__instance(V__D, s__Detaching) & s__patient(V__D, V__O1) & s__patient(V__D, V__O2) & s__holdsDuring(s__BeginFn(s__WhenFn(V__D)), s__connected(V__O1, V__O2)) & s__holdsDuring(s__EndFn(s__WhenFn(V__A)), ~(s__connected(V__O1, V__O2)))) => (s__objectDetached(V__A, V__O1) & s__objectDetached(V__A, V__O2)))) | Merge.kif 12721-12730 | If X is an instance of detaching, Y is a patient of X, Z is a patient of X, Y is connected to Z holds during the beginning of the time of existence of X, and Y is not connected to Z holds during the end of the time of existence of W, then W detaches Y from another object and W detaches Z from another object |
| ! [V__L1,V__L2] : (((s__instance(V__L1,s__Object) & s__attribute(V__L1,s__LongAndThin) & s__instance(V__L2,s__Object) & s__attribute(V__L2,s__LongAndThin) & s__connected(V__L1,V__L2) & ~((V__L1 = V__L2))) => (? [V__M] : ((s__instance(V__M,s__RealNumber) & s__relativeAngle(V__L1,V__L2,V__M))))) )
|
Mid-level-ontology.kif 3418-3428 | If All of the following hold: (1) X is an instance of object (2) long and thin is an attribute of X (3) Y is an instance of object (4) long and thin is an attribute of Y (5) X is connected to Y (6) equal X and Y, then there exists Z such that the relative angle between X and Y is Z |
| ! [V__BM : $i,V__BS1 : $i,V__BS2 : $i] : (((s__instance(V__BS1, s__BodySegment) & s__instance(V__BS2, s__BodySegment) & s__connected(V__BS1, V__BS2) & s__instance(V__BM, s__BodyMotion) & s__moves(V__BM, V__BS1)) => s__modalAttribute(~(( ? [V__BM2:$i] : ((s__instance(V__BM2, s__BodyMotion) & s__moves(V__BM2, V__BS2) & s__during(s__WhenFn(V__BM2), s__WhenFn(V__BM)))))), s__Possibility))) | Mid-level-ontology.kif 12030-12046 | If X is an instance of body segment, Y is an instance of body segment, X is connected to Y, Z is an instance of body motion, and X moves during Z, then the statement there doesn't exist W such that W is an instance of body motion, Y moves during W, and the time of existence of W takes place during the time of existence of Z has the modal force of possibility |
| ! [V__R1,V__R2] : (((s__instance(V__R1,s__Region) & s__instance(V__R2,s__Region) & s__connected(V__R1,V__R2)) => s__connectedRegions(V__R1,V__R2)) )
|
Geography.kif 604-609 | If X is an instance of region, Y is an instance of region, and X is connected to Y, then X and Y are connectedRegions |
| ! [V__X,V__Y,V__Z] : (((s__instance(V__X,s__Object) & s__instance(V__Y,s__Object) & s__instance(V__Z,s__Object)) => ((s__connected(V__X,V__Y) & s__part(V__Y,V__Z)) => s__connected(V__X,V__Z))) )
|
Geography.kif 1990-1994 | If X is connected to Y and Y is a part of Z, then X is connected to Z |
| ! [V__CHANNEL,V__BODY] : (((s__instance(V__CHANNEL,s__Channel) & s__instance(V__BODY,s__BodyOfWater) & s__connected(V__CHANNEL,V__BODY)) => s__larger(V__BODY,V__CHANNEL)) )
|
Geography.kif 6935-6940 | If X is an instance of channel, Y is an instance of body of water, and X is connected to Y, then Y is larger than X |
| ! [V__SYSTEM,V__WATER1,V__WATER2] : (((s__instance(V__SYSTEM,s__InlandWaterSystem) & s__instance(V__WATER1,s__WaterArea) & s__instance(V__WATER2,s__WaterArea) & ~((V__WATER1 = V__WATER2)) & ~(s__connected(V__WATER1,V__WATER2)) & s__geographicSubregion(V__WATER1,V__SYSTEM) & s__geographicSubregion(V__WATER2,V__SYSTEM)) => (? [V__WATER3] : ((s__instance(V__WATER3,s__WaterArea) & ~((V__WATER3 = V__WATER1)) & ~((V__WATER3 = V__WATER1)) & s__part(V__WATER3,V__SYSTEM) & s__connects(V__WATER3,V__WATER1,V__WATER2))))) )
|
Geography.kif 6985-7000 | If All of the following hold: (1) X is an instance of inland water system (2) Y is an instance of water area (3) Z is an instance of water area (4) equal Y and Z (5) Y is not connected to Z (6) Y is a geographic subregion of X (7) Z is a geographic subregion of X, then All of the following hold: (1) there exists W such that W is an instance of water area (2) equal W (3) Y (4) equal W (5) Y (6) W is a part of X (7) W connects Y (8) Z |
| consequent |
|
|
| ! [V__PART1,V__PART2,V__OBJ] : (((s__instance(V__PART1,s__Object) & s__instance(V__PART2,s__Object)) => ((s__instance(V__OBJ,s__SelfConnectedObject) & (V__OBJ = s__MereologicalSumFn(V__PART1,V__PART2))) => s__connected(V__PART1,V__PART2))) )
|
Merge.kif 9740-9744 | If X is an instance of self connected object and equal X, the union of the parts of Y, and Z, then Y is connected to 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__connected(V__OBJ1,V__OBJ2) & s__connected(V__OBJ1,V__OBJ3) & ~(s__connected(V__OBJ2,V__OBJ3))))) )
|
Merge.kif 9771-9777 | If X connects Y and Z, then X is connected to Y, X is connected to Z, and Y is not connected to Z |
| ! [V__HOLE,V__OBJ] : (((s__instance(V__HOLE,s__HoleRegion) & s__instance(V__OBJ,s__SelfConnectedObject)) => (s__hole(V__HOLE,V__OBJ) => s__connected(V__HOLE,V__OBJ))) )
|
Merge.kif 10161-10163 | If X is a hole in Y, then X is connected to Y |
| ! [V__OBJ1,V__HOLE] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__HOLE,s__HoleRegion)) => (s__completelyFills(V__OBJ1,V__HOLE) => (! [V__OBJ2] : ((s__instance(V__OBJ2,s__Object) => (s__connected(V__OBJ2,V__HOLE) => s__connected(V__OBJ2,V__OBJ1))))))) )
|
Merge.kif 10266-10271 | If X completely fills Y, then For all Object Z: if Z is connected to Y, then Z is connected to X |
| ! [V__OBJ1,V__HOLE,V__OBJ2] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__HOLE,s__HoleRegion) & s__instance(V__OBJ2,s__Object)) => ((s__properlyFills(V__OBJ1,V__HOLE) & s__connected(V__OBJ2,V__OBJ1)) => s__connected(V__HOLE,V__OBJ2))) )
|
Merge.kif 10273-10277 | If X properly fills Y and Z is connected to X, then Y is connected to Z |
| ! [V__OBJ1 : $i,V__OBJ2 : $i,V__TOUCH : $i] : (((s__instance(V__TOUCH, s__Touching) & s__agent(V__TOUCH, V__OBJ1) & s__patient(V__TOUCH, V__OBJ2)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__TOUCH)), ~(s__connected(V__OBJ1, V__OBJ2))) & s__holdsDuring(s__EndFn(s__WhenFn(V__TOUCH)), s__connected(V__OBJ1, V__OBJ2))))) | Merge.kif 11761-11768 | If X is an instance of touching, Y is an agent of X, and Z is a patient of X, then Y is not connected to Z holds during the beginning of the time of existence of X and Y is connected to Z holds during the end of the time of existence of X |
| ! [V__ATTACH : $i,V__OBJ1 : $i,V__OBJ2 : $i] : (((s__instance(V__ATTACH, s__Attaching) & s__patient(V__ATTACH, V__OBJ1) & s__patient(V__ATTACH, V__OBJ2)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__ATTACH)), ~(s__connected(V__OBJ1, V__OBJ2))) & s__holdsDuring(s__EndFn(s__WhenFn(V__ATTACH)), s__connected(V__OBJ1, V__OBJ2))))) | Merge.kif 12646-12653 | If X is an instance of attaching, Y is a patient of X, and Z is a patient of X, then Y is not connected to Z holds during the beginning of the time of existence of X and Y is connected to Z holds during the end of the time of existence of X |
| ! [V__DETACH : $i,V__OBJ1 : $i,V__OBJ2 : $i] : (((s__instance(V__DETACH, s__Detaching) & s__patient(V__DETACH, V__OBJ1) & s__patient(V__DETACH, V__OBJ2)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__DETACH)), s__connected(V__OBJ1, V__OBJ2)) & s__holdsDuring(s__EndFn(s__WhenFn(V__DETACH)), ~(s__connected(V__OBJ1, V__OBJ2)))))) | Merge.kif 12696-12703 | If X is an instance of detaching, Y is a patient of X, and Z is a patient of X, then Y is connected to Z holds during the beginning of the time of existence of X and Y is not connected to Z holds during the end of the time of existence of X |
| ! [V__OBJ1,V__OBJ2] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__OBJ2,s__Object)) => (s__orientation(V__OBJ1,V__OBJ2,s__Above) => ~(s__connected(V__OBJ1,V__OBJ2)))) )
|
Merge.kif 17433-17436 | If X is above to Y, then X is not connected to Y |
| ! [V__OBJ1,V__OBJ2] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__OBJ2,s__Object)) => ((s__orientation(V__OBJ1,V__OBJ2,s__Adjacent) => (s__orientation(V__OBJ1,V__OBJ2,s__Near) | s__connected(V__OBJ1,V__OBJ2))) & ((s__orientation(V__OBJ1,V__OBJ2,s__Near) | s__connected(V__OBJ1,V__OBJ2)) => s__orientation(V__OBJ1,V__OBJ2,s__Adjacent)))) )
|
Merge.kif 17457-17461 | X is adjacent to Y if and only if X is near to Y or X is connected to Y |
| ! [V__OBJ1,V__OBJ2] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__OBJ2,s__Object)) => (s__orientation(V__OBJ1,V__OBJ2,s__Near) => ~(s__connected(V__OBJ1,V__OBJ2)))) )
|
Merge.kif 17486-17489 | If X is near to Y, then X is not connected to Y |
| ! [V__OBJ1,V__OBJ2] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__OBJ2,s__Object)) => (s__orientation(V__OBJ1,V__OBJ2,s__On) => s__connected(V__OBJ1,V__OBJ2))) )
|
Merge.kif 17500-17502 | If X is on to Y, then X is connected to Y |
| ! [V__SHOWER] : ((s__instance(V__SHOWER,s__Shower) => (? [V__X,V__FLOOR] : (((s__instance(V__X,s__Wall) | s__instance(V__X,s__Ceiling)) & s__connected(V__SHOWER,V__X) & s__instance(V__FLOOR,s__Floor) & s__orientation(V__SHOWER,V__FLOOR,s__Above))))) )
|
Mid-level-ontology.kif 2636-2645 | If X is an instance of shower, then there exist Y, Z such that Y is an instance of wall or Y is an instance of ceiling, X is connected to Y, Z is an instance of floor, and X is above to Z |
| ! [V__T : $i,V__X : $i] : ((s__holdsDuring(V__T, s__attribute(V__X, s__Locked)) => ( ? [V__LOCK:$i, V__CLOSE:$i, V__MOVE:$i] : ((s__instance(V__LOCK, s__Lock) & s__connected(V__LOCK, V__X) & s__instance(V__CLOSE, s__Closing) & s__patient(V__CLOSE, V__LOCK) & s__instance(V__MOVE, s__Motion) & s__earlier(s__WhenFn(V__CLOSE), V__T) & s__holdsDuring(V__T, ~(s__modalAttribute(s__patient(V__MOVE, V__X), s__Possibility)))))))) | Mid-level-ontology.kif 3299-3314 | If locked is an attribute of X holds during Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of lock (3) Z is connected to X (4) W is an instance of closing (5) Z is a patient of W (6) V is an instance of motion (7) the time of existence of W happens earlier than Y (8) the statement X is not a patient of V doesn't have the modal force of possibility holds during Y |
| ! [V__L1,V__L2,V__M] : (((s__instance(V__L1,s__Object) & s__instance(V__L2,s__Object) & s__instance(V__M,s__RealNumber)) => (s__relativeAngle(V__L1,V__L2,V__M) => (s__instance(V__L1,s__Object) & s__attribute(V__L1,s__LongAndThin) & s__instance(V__L2,s__Object) & s__attribute(V__L2,s__LongAndThin) & s__connected(V__L1,V__L2) & ~((V__L1 = V__L2))))) )
|
Mid-level-ontology.kif 3430-3439 | If the relative angle between X and Y is Z, then All of the following hold: (1) X is an instance of object (2) long and thin is an attribute of X (3) Y is an instance of object (4) long and thin is an attribute of Y (5) X is connected to Y (6) equal X and Y |
| ! [V__W,V__V] : (((s__instance(V__W,s__VehicleWheel) & s__instance(V__V,s__RoadVehicle) & s__part(V__W,V__V)) => (? [V__A] : ((s__instance(V__A,s__Axle) & s__component(V__A,V__V) & s__connected(V__W,V__A))))) )
|
Mid-level-ontology.kif 4165-4174 | If X is an instance of vehicle wheel, Y is an instance of road vehicle, and X is a part of Y, then there exists Z such that Z is an instance of axle, Z is a component of Y, and X is connected to Z |
| ! [V__X] : ((s__instance(V__X,s__Hammock) => (s__material(s__Fabric,V__X) & (? [V__POLE1,V__POLE2,V__GROUND] : ((s__instance(V__POLE1,s__Object) & s__instance(V__POLE2,s__Object) & (s__orientation(V__POLE1,V__POLE2,s__Near) & s__connected(V__POLE1,V__X) & s__connected(V__POLE2,V__X) & s__instance(V__GROUND,s__LandArea) & s__located(V__X,V__GROUND) & s__orientation(V__X,V__GROUND,s__Above))))))) )
|
Mid-level-ontology.kif 4604-4615 | If X is an instance of hammock, then X is made of fabric and All of the following hold: (1) there exist Y, Z (2) W such that Y is near to Z (3) Y is connected to X (4) Z is connected to X (5) W is an instance of land area (6) X is located at W (7) X is above to W |
| ! [V__BP,V__F] : ((s__instance(V__BP,s__Object) => ((s__instance(V__F,s__Flexion) & s__moves(V__F,V__BP)) => (? [V__M,V__MC] : ((s__instance(V__M,s__Muscle) & s__instance(V__MC,s__MuscularContraction) & s__instrument(V__F,V__M) & s__connected(V__M,V__BP) & s__subProcess(V__MC,V__F)))))) )
|
Mid-level-ontology.kif 12060-12070 | If X is an instance of flexion and Y moves during X, then there exist Z, W such that Z is an instance of muscle, W is an instance of muscular contraction, Z is an instrument for X, Z is connected to Y, and W is a subprocess of X |
| ! [V__BP,V__E] : ((s__instance(V__BP,s__Object) => ((s__instance(V__E,s__Extension) & s__moves(V__E,V__BP)) => (? [V__M,V__MC] : ((s__instance(V__M,s__Muscle) & s__instance(V__MC,s__MuscularContraction) & s__instrument(V__E,V__M) & s__connected(V__M,V__BP) & s__subProcess(V__MC,V__E)))))) )
|
Mid-level-ontology.kif 12100-12110 | If X is an instance of extension and Y moves during X, then there exist Z, W such that Z is an instance of muscle, W is an instance of muscular contraction, Z is an instrument for X, Z is connected to Y, and W is a subprocess of X |
| ! [V__NOSE] : ((s__instance(V__NOSE,s__Nose) => (? [V__N1,V__N2] : ((s__instance(V__N1,s__Nostril) & s__instance(V__N2,s__Nostril) & ~((V__N1 = V__N2)) & s__connected(V__N1,V__NOSE) & s__connected(V__N2,V__NOSE))))) )
|
Mid-level-ontology.kif 12813-12821 | If X is an instance of nose, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of nostril (3) Z is an instance of nostril (4) equal Y (5) Z (6) Y is connected to X (7) Z is connected to X |
| ! [V__THROAT] : ((s__instance(V__THROAT,s__Throat) => (? [V__MOUTH] : ((s__instance(V__MOUTH,s__Mouth) & s__connected(V__THROAT,V__MOUTH))))) )
|
Mid-level-ontology.kif 13227-13232 | If X is an instance of throat, then there exists Y such that Y is an instance of mouth and X is connected to Y |
| ! [V__T] : ((s__instance(V__T,s__Trachea) => (? [V__TH] : ((s__instance(V__TH,s__Throat) & s__connected(V__TH,V__T))))) )
|
Mid-level-ontology.kif 13240-13245 | If X is an instance of trachea, then there exists Y such that Y is an instance of throat and Y is connected to X |
| ! [V__A,V__B,V__H] : (((s__subclass(V__A,s__BodyPart) & s__instance(V__A,s__Class) & s__subclass(V__B,s__BodyPart) & s__instance(V__B,s__Class) & s__instance(V__H,s__Object)) => ((s__connectedBodyPart(V__A,V__B) & s__attribute(V__H,s__Healthy)) => (? [V__AI,V__BI] : ((s__instance(V__AI,s__Object) & s__instance(V__BI,s__Object) & (s__instance(V__AI,V__A) & s__instance(V__BI,V__B) & s__part(V__AI,V__H) & s__part(V__BI,V__H) & s__connected(V__AI,V__BI))))))) )
|
Mid-level-ontology.kif 13467-13477 | If a X is connected to a Y and healthy is an attribute of Z, then there exist W, V such that W is an instance of X, V is an instance of Y, W is a part of Z, V is a part of Z, and W is connected to V |
| ! [V__NECK] : ((s__instance(V__NECK,s__Neck) => (? [V__HEAD] : ((s__instance(V__HEAD,s__Head) & s__connected(V__NECK,V__HEAD))))) )
|
Mid-level-ontology.kif 14492-14497 | If X is an instance of neck, then there exists Y such that Y is an instance of head and X is connected to Y |
| ! [V__LABEL] : ((s__instance(V__LABEL,s__Label) => (? [V__OBJ] : ((s__instance(V__OBJ,s__SelfConnectedObject) & s__connected(V__LABEL,V__OBJ) & s__refers(V__LABEL,V__OBJ))))) )
|
Mid-level-ontology.kif 16082-16088 | If X is an instance of label, then there exists Y such that Y is an instance of self connected object, X is connected to Y, and X includes a reference to Y |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 0 |
|
|
|