| Keeping(keeping) | | arrest, at_bay, backlog, bank, bar, bastioned, battlemented, bolt, bower, box_in, box_up, brick_in, brick_over, brick_up, bring_up, cache, cage, cage_in, captive, carry, carry_over, check, circumscribe, close, cold_storage, commissariat, confine, confined, conserve, containment, cornered, corral, demurrage, deposit, deposition, domesticate, domesticise, domesticize, embank, embower, encircle, enclose, eye_bank, filing, fortified, frame, free, free-range, fuel_level, fund... |
| appearance as argument number 1 |
|
|
| (subclass Keeping IntentionalProcess) | Merge.kif 12346-12346 | Keeping is a subclass of intentional process |
| (documentation Keeping EnglishLanguage "The Class of Processes where the agent keeps something in a particular location for an extended period of time.") | Merge.kif 12347-12348 | Keeping is a subclass of intentional process |
| appearance as argument number 2 |
|
|
| (subclass PreservingFood Keeping) | Food.kif 184-184 | Preserving food is a subclass of keeping |
| (subclass Confining Keeping) | Merge.kif 12372-12372 | Confining is a subclass of keeping |
| (termFormat EnglishLanguage Keeping "keeping") | english_format.kif 1525-1525 | Confining is a subclass of keeping |
| antecedent |
|
|
| (=> (and (instance ?HR Reel) (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?HR) (patient ?K ?H)) (exists (?P) (and (part ?P ?H) (meetsSpatially ?P ?HR)))) |
Cars.kif 4365-4377 | If All of the following hold: (1) X is an instance of reel (2) Y is an instance of keeping (3) Z is an instance of corpuscular object (4) long and thin is an attribute of Z (5) pliable is an attribute of Z (6) X is an instrument for Y (7) Z is a patient of Y, then there exists W such that W is a part of Z and W meets X |
| (=> (and (instance ?HR Reel) (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?HR) (patient ?K ?H)) (exists (?R) (and (instance ?R Rotating) (patient ?R ?HR) (subProcess ?R ?K)))) |
Cars.kif 4379-4392 | If All of the following hold: (1) X is an instance of reel (2) Y is an instance of keeping (3) Z is an instance of corpuscular object (4) long and thin is an attribute of Z (5) pliable is an attribute of Z (6) X is an instrument for Y (7) Z is a patient of Y, then there exists W such that W is an instance of rotating, X is a patient of W, and W is a subprocess of Y |
| (=> (and (instance ?KEEP Keeping) (agent ?KEEP ?AGENT) (patient ?KEEP ?OBJ)) (exists (?PUT) (and (instance ?PUT Putting) (agent ?PUT ?AGENT) (patient ?PUT ?OBJ) (earlier (WhenFn ?PUT) (WhenFn ?KEEP))))) |
Merge.kif 12350-12360 | If X is an instance of keeping, Y is an agent of X, and Z is a patient of X, then there exists W such that W is an instance of putting, Y is an agent of W, Z is a patient of W, and the time of existence of W happens earlier than the time of existence of X |
| (=> (and (instance ?KEEP Keeping) (patient ?KEEP ?OBJ)) (exists (?PLACE) (forall (?TIME) (=> (temporalPart ?TIME (WhenFn ?KEEP)) (holdsDuring ?TIME (located ?OBJ ?PLACE)))))) |
Merge.kif 12362-12370 | If X is an instance of keeping and Y is a patient of X, then there exists Z such that W W is a part of the time of existence of XY is located at Z holds during W |
| consequent |
|
|
| (=> (instance ?X Reel) (hasPurpose ?X (exists (?K ?H) (and (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?X) (patient ?K ?H))))) |
Cars.kif 4353-4363 | If X is an instance of reel, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of keeping (3) Z is an instance of corpuscular object (4) long and thin is an attribute of Z (5) pliable is an attribute of Z (6) X is an instrument for Y (7) Z is a patient of Y |
| (=> (instance ?SVC SafetyDepositService) (exists (?SAFE ?KEEP ?OBJ ?AGENT) (and (serviceProvider ?SVC ?AGENT) (instance ?SAFE SafeContainer) (instance ?KEEP Keeping) (located ?KEEP ?SAFE) (possesses ?AGENT ?SAFE) (patient ?KEEP ?OBJ) (subProcess ?KEEP ?SVC) (not (possesses ?AGENT ?OBJ))))) |
Hotel.kif 2273-2284 | If X is an instance of safety deposit box, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that V provides a service during X (3) Y is an instance of safe container (4) Z is an instance of keeping (5) Z is located at Y (6) V possesses Y (7) W is a patient of Z (8) Z is a subprocess of X (9) V doesn't possess W |
| (=> (instance ?CASE CartridgeCase) (exists (?CARTRIDGE ?BULLET ?K) (and (instance ?CARTRIDGE BulletCartridge) (instance ?BULLET Bullet) (instance ?K Keeping) (properPart ?CASE ?CARTRIDGE) (properPart ?BULLET ?CARTRIDGE) (agent ?K ?CASE) (patient ?K ?BULLET)))) |
Mid-level-ontology.kif 1281-1291 | If X is an instance of casing, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of bullet cartridge (3) Z is an instance of bullet (4) W is an instance of keeping (5) X is a proper part of Y (6) Z is a proper part of Y (7) X is an agent of W (8) Z is a patient of W |
| (=> (instance ?X MurphyBed) (exists (?STORAGE) (and (instance ?STORAGE Compartment) (meetsSpatially ?STORAGE ?X) (hasPurpose ?STORAGE (exists (?K) (and (instance ?K Keeping) (patient ?K ?X) (destination ?K ?STORAGE) (holdsDuring (WhenFn ?K) (attribute ?X Vertical)))))))) |
Mid-level-ontology.kif 4353-4367 | If X is an instance of pull-down bed, then there exists Y such that Y is an instance of compartment, Y meets X, Y has the purpose there exists Z such that Z is an instance of keeping, X is a patient of Z, Z ends up at Y, and vertical to is an attribute of X holds during the time of existence of Z |
| (=> (instance ?X SofaBed) (exists (?SOFA ?STORAGE) (and (instance ?STORAGE Compartment) (part ?STORAGE ?SOFA) (instance ?SOFA Sofa) (hasPurpose ?STORAGE (exists (?K) (and (instance ?K Keeping) (patient ?K ?X) (destination ?K ?STORAGE))))))) |
Mid-level-ontology.kif 4386-4398 | If X is an instance of sofa bed, then All of the following hold: (1) there exist Y (2) Z such that Z is an instance of compartment (3) Z is a part of Y (4) Y is an instance of sofa (5) Z has the purpose there exists W such that W is an instance of keeping (6) X is a patient of W (7) W ends up at Z |
| (=> (instance ?C ContainerChest) (hasPurpose ?C (exists (?KEEP) (and (instance ?KEEP Keeping) (instrument ?KEEP ?C))))) |
Mid-level-ontology.kif 4448-4454 | If X is an instance of chest container, then X has the purpose there exists Y such that Y is an instance of keeping and X is an instrument for Y |
| (=> (instance ?DEVICE Holder) (capability Keeping instrument ?DEVICE)) |
Mid-level-ontology.kif 4778-4780 | If X is an instance of holder, then X is capable of doing keeping as a instrument |
| (=> (instance ?POCKET Pocket) (capability Keeping instrument ?POCKET)) |
Mid-level-ontology.kif 6383-6385 | If X is an instance of pocket, then X is capable of doing keeping as a instrument |
| (=> (instance ?B Warehouse) (hasPurpose ?B (exists (?K ?P) (and (instance ?K Keeping) (patient ?K ?P) (instance ?P Product) (eventLocated ?K ?B))))) |
Mid-level-ontology.kif 8233-8241 | If X is an instance of warehouse, then X has the purpose there exist Y, Z such that Y is an instance of keeping, Z is a patient of Y, Z is an instance of product, and Y is located at X |
| (=> (and (instance ?P Plant) (part ?TIS ?P)) (exists (?K ?W ?CLASS) (and (instance ?K ?CLASS) (subclass ?CLASS Keeping) (instance ?W FreshWater) (patient ?K ?W) (capability ?CLASS instrument ?TIS) (or (instance ?TIS PlantLeaf) (instance ?TIS PlantStem))))) |
Mid-level-ontology.kif 10929-10942 | If X is an instance of plant and Y is a part of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of V (3) V is a subclass of keeping (4) W is an instance of freshwater (5) W is a patient of Z (6) Y is capable of doing V as a instrument (7) Y is an instance of plant leaf or Y is an instance of plant stem |
| (=> (instance ?R Closet) (hasPurpose ?R (exists (?K ?O) (and (instance ?K Keeping) (patient ?K ?O) (located ?O ?R))))) |
Mid-level-ontology.kif 17009-17016 | If X is an instance of closet, then X has the purpose there exist Y, Z such that Y is an instance of keeping, Z is a patient of Y, and Z is located at X |
| (=> (instance ?ANIMAL DomesticAnimal) (exists (?KEEP ?PERSON) (and (instance ?KEEP Keeping) (agent ?KEEP ?PERSON) (instance ?PERSON Human) (patient ?KEEP ?ANIMAL)))) |
Mid-level-ontology.kif 22268-22275 | If X is an instance of domestic animal, then there exist Y, Z such that Y is an instance of keeping, Z is an agent of Y, Z is an instance of human, and X is a patient of Y |
| (=> (and (possesses ?BUS ?PARK) (instance ?BUS CommercialAgent) (instance ?PARK ParkingLot) (instance ?BLDG Building) (located ?BUS ?BLDG) (customer ?BUS ?CUST) (holdsDuring ?T (located ?CUST ?BLDG)) (instance ?DRIVE Driving) (patient ?DRIVE ?VEHICLE) (agent ?DRIVE ?CUST) (destination ?DRIVE ?BLDG)) (holdsDuring ?T (confersRight (and (instance ?PUT Keeping) (destination ?PUT ?PARK) (patient ?PUT ?VEHICLE)) ?BUS ?CUST))) |
TransportDetail.kif 106-125 | If All of the following hold: (1) X possesses Y (2) X is an instance of commercial agent (3) Y is an instance of parking lot (4) Z is an instance of building (5) X is located at Z (6) W is a customer of X (7) W is located at Z holds during V (8) U is an instance of driving (9) T is a patient of U (10) W is an agent of U (11) U ends up at Z, then X allows W to perform task of the type S is an instance of keeping, S ends up at Y, and T is a patient of S holds during V |
| (=> (instance ?AA AirportApron) (hasPurpose ?AA (exists (?P ?K) (and (instance ?P Airplane) (instance ?K Keeping) (patient ?K ?P) (destination ?K ?AA))))) |
Transportation.kif 1282-1290 | If X is an instance of airport apron, then X has the purpose there exist Y, Z such that Y is an instance of airplane, Z is an instance of keeping, Y is a patient of Z, and Z ends up at X |
|
|
|