| 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 12351-12351 | 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 12352-12353 | Keeping is a subclass of intentional process |
| appearance as argument number 2 |
|
|
| (subclass Confining Keeping) | Merge.kif 12377-12377 | Confining is a subclass of keeping |
| (subclass PreservingFood Keeping) | Food.kif 184-184 | Preserving food is a subclass of keeping |
| (termFormat EnglishLanguage Keeping "keeping") | english_format.kif 1525-1525 | Preserving food is a subclass of keeping |
| antecedent |
|
|
| (=> (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 12355-12365 | 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 12367-12375 | 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 |
| (=> (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 4381-4393 | 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 4395-4408 | 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 |
| consequent |
|
|
| (=> (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 1268-1278 | 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 4369-4383 | 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 4402-4414 | 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 4464-4470 | 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 4794-4796 | 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 6393-6395 | 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 8243-8251 | 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 10955-10968 | 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 17060-17067 | 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 22287-22294 | 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 |
| (=> (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 4369-4379 | 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 2279-2290 | 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 |
| (=> (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 ?BUS ?CUST (and (instance ?PUT Keeping) (destination ?PUT ?PARK) (patient ?PUT ?VEHICLE))))) |
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 W allows S is an instance of keeping, S ends up at Y, and T is a patient of S to perform task of the type X 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 |
|
|
|