Keeping(保存) | ![]() |
appearance as argument number 1 |
![]() |
(documentation Keeping ChineseLanguage "这是一组当 agent 把某些东西放到一个特定位置上经过一段 较长的时间。") | chinese_format.kif 3141-3142 | |
(documentation Keeping EnglishLanguage "The Class of Processes where the agent keeps something in a particular location for an extended period of time.") | Merge.kif 12325-12326 | |
(subclass Keeping IntentionalProcess) | Merge.kif 12324-12324 | 保存 是 有意图过程 的 subclass |
appearance as argument number 2 |
![]() |
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 4348-4360 | |
(=> (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 4362-4375 | |
(=> (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 12328-12338 | |
(=> (and (instance ?KEEP Keeping) (patient ?KEEP ?OBJ)) (exists (?PLACE) (forall (?TIME) (=> (temporalPart ?TIME (WhenFn ?KEEP)) (holdsDuring ?TIME (located ?OBJ ?PLACE)))))) |
Merge.kif 12340-12348 |
consequent |
![]() |
(=> (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 10890-10903 | |
(=> (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 |
|
(=> (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 | |
(=> (instance ?ANIMAL DomesticAnimal) (exists (?KEEP ?PERSON) (and (instance ?KEEP Keeping) (agent ?KEEP ?PERSON) (instance ?PERSON Human) (patient ?KEEP ?ANIMAL)))) |
Mid-level-ontology.kif 21609-21616 | |
(=> (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 8215-8223 | |
(=> (instance ?C ContainerChest) (hasPurpose ?C (exists (?KEEP) (and (instance ?KEEP Keeping) (instrument ?KEEP ?C))))) |
Mid-level-ontology.kif 4431-4437 | |
(=> (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 1278-1288 | |
(=> (instance ?DEVICE Holder) (capability Keeping instrument ?DEVICE)) |
Mid-level-ontology.kif 4761-4763 | |
(=> (instance ?POCKET Pocket) (capability Keeping instrument ?POCKET)) |
Mid-level-ontology.kif 6364-6366 | |
(=> (instance ?R Closet) (hasPurpose ?R (exists (?K ?O) (and (instance ?K Keeping) (patient ?K ?O) (located ?O ?R))))) |
Mid-level-ontology.kif 16880-16887 | |
(=> (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 |
|
(=> (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 4336-4350 | |
(=> (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 4336-4346 | |
(=> (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 4369-4381 |
![]() |
![]() |