(=>
(and
(instance ?OBJ SelfConnectedObject)
(equal ?OBJ
(MereologicalSumFn ?PART1 ?PART2)))
(connected ?PART1 ?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 |
(=>
(connects ?OBJ1 ?OBJ2 ?OBJ3)
(and
(connected ?OBJ1 ?OBJ2)
(connected ?OBJ1 ?OBJ3)
(not
(connected ?OBJ2 ?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 |
(=>
(hole ?HOLE ?OBJ)
(connected ?HOLE ?OBJ)) |
Merge.kif 10161-10163 |
If X is a hole in Y, then X is connected to Y |
(=>
(completelyFills ?OBJ1 ?HOLE)
(forall (?OBJ2)
(=>
(connected ?OBJ2 ?HOLE)
(connected ?OBJ2 ?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 |
(=>
(and
(properlyFills ?OBJ1 ?HOLE)
(connected ?OBJ2 ?OBJ1))
(connected ?HOLE ?OBJ2)) |
Merge.kif 10273-10277 |
If X properly fills Y and Z is connected to X, then Y is connected to Z |
(=>
(and
(instance ?TOUCH Touching)
(agent ?TOUCH ?OBJ1)
(patient ?TOUCH ?OBJ2))
(and
(holdsDuring
(BeginFn
(WhenFn ?TOUCH))
(not
(connected ?OBJ1 ?OBJ2)))
(holdsDuring
(EndFn
(WhenFn ?TOUCH))
(connected ?OBJ1 ?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 |
(=>
(and
(instance ?ATTACH Attaching)
(patient ?ATTACH ?OBJ1)
(patient ?ATTACH ?OBJ2))
(and
(holdsDuring
(BeginFn
(WhenFn ?ATTACH))
(not
(connected ?OBJ1 ?OBJ2)))
(holdsDuring
(EndFn
(WhenFn ?ATTACH))
(connected ?OBJ1 ?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 |
(=>
(and
(instance ?DETACH Detaching)
(patient ?DETACH ?OBJ1)
(patient ?DETACH ?OBJ2))
(and
(holdsDuring
(BeginFn
(WhenFn ?DETACH))
(connected ?OBJ1 ?OBJ2))
(holdsDuring
(EndFn
(WhenFn ?DETACH))
(not
(connected ?OBJ1 ?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 |
(=>
(orientation ?OBJ1 ?OBJ2 Above)
(not
(connected ?OBJ1 ?OBJ2))) |
Merge.kif 17433-17436 |
If X is above to Y, then X is not connected to Y |
(<=>
(orientation ?OBJ1 ?OBJ2 Adjacent)
(or
(orientation ?OBJ1 ?OBJ2 Near)
(connected ?OBJ1 ?OBJ2))) |
Merge.kif 17457-17461 |
X is adjacent to Y if and only if X is near to Y or X is connected to Y |
(=>
(orientation ?OBJ1 ?OBJ2 Near)
(not
(connected ?OBJ1 ?OBJ2))) |
Merge.kif 17486-17489 |
If X is near to Y, then X is not connected to Y |
(=>
(orientation ?OBJ1 ?OBJ2 On)
(connected ?OBJ1 ?OBJ2)) |
Merge.kif 17500-17502 |
If X is on to Y, then X is connected to Y |
(=>
(instance ?SHOWER Shower)
(exists (?X ?FLOOR)
(and
(or
(instance ?X Wall)
(instance ?X Ceiling))
(connected ?SHOWER ?X)
(instance ?FLOOR Floor)
(orientation ?SHOWER ?FLOOR 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 |
(=>
(holdsDuring ?T
(attribute ?X Locked))
(exists (?LOCK ?CLOSE ?MOVE)
(and
(instance ?LOCK Lock)
(connected ?LOCK ?X)
(instance ?CLOSE Closing)
(patient ?CLOSE ?LOCK)
(instance ?MOVE Motion)
(earlier
(WhenFn ?CLOSE) ?T)
(holdsDuring ?T
(not
(modalAttribute
(patient ?MOVE ?X) 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 |
(=>
(relativeAngle ?L1 ?L2 ?M)
(and
(instance ?L1 Object)
(attribute ?L1 LongAndThin)
(instance ?L2 Object)
(attribute ?L2 LongAndThin)
(connected ?L1 ?L2)
(not
(equal ?L1 ?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 |
(=>
(and
(instance ?W VehicleWheel)
(instance ?V RoadVehicle)
(part ?W ?V))
(exists (?A)
(and
(instance ?A Axle)
(component ?A ?V)
(connected ?W ?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 |
(=>
(instance ?X Hammock)
(and
(material Fabric ?X)
(exists (?POLE1 ?POLE2 ?GROUND)
(and
(orientation ?POLE1 ?POLE2 Near)
(connected ?POLE1 ?X)
(connected ?POLE2 ?X)
(instance ?GROUND LandArea)
(located ?X ?GROUND)
(orientation ?X ?GROUND 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 |
(=>
(and
(instance ?F Flexion)
(moves ?F ?BP))
(exists (?M ?MC)
(and
(instance ?M Muscle)
(instance ?MC MuscularContraction)
(instrument ?F ?M)
(connected ?M ?BP)
(subProcess ?MC ?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 |
(=>
(and
(instance ?E Extension)
(moves ?E ?BP))
(exists (?M ?MC)
(and
(instance ?M Muscle)
(instance ?MC MuscularContraction)
(instrument ?E ?M)
(connected ?M ?BP)
(subProcess ?MC ?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 |
(=>
(instance ?NOSE Nose)
(exists (?N1 ?N2)
(and
(instance ?N1 Nostril)
(instance ?N2 Nostril)
(not
(equal ?N1 ?N2))
(connected ?N1 ?NOSE)
(connected ?N2 ?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 |
(=>
(instance ?THROAT Throat)
(exists (?MOUTH)
(and
(instance ?MOUTH Mouth)
(connected ?THROAT ?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 |
(=>
(instance ?T Trachea)
(exists (?TH)
(and
(instance ?TH Throat)
(connected ?TH ?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 |
(=>
(and
(connectedBodyPart ?A ?B)
(attribute ?H Healthy))
(exists (?AI ?BI)
(and
(instance ?AI ?A)
(instance ?BI ?B)
(part ?AI ?H)
(part ?BI ?H)
(connected ?AI ?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 |
(=>
(instance ?NECK Neck)
(exists (?HEAD)
(and
(instance ?HEAD Head)
(connected ?NECK ?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 |
(=>
(instance ?LABEL Label)
(exists (?OBJ)
(and
(instance ?OBJ SelfConnectedObject)
(connected ?LABEL ?OBJ)
(refers ?LABEL ?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 |
