| 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 12221-12222 | |
| (subclass Keeping IntentionalProcess) | Merge.kif 12220-12220 |
| appearance as argument number 2 |
|
|
| (subclass Confining Keeping) | Merge.kif 12246-12246 | |
| (subclass PreservingFood Keeping) | Food.kif 184-184 | |
| (termFormat ChineseLanguage Keeping "保存") | chinese_format.kif 1154-1154 | |
| (termFormat EnglishLanguage Keeping "keeping") | english_format.kif 1525-1525 | |
| (termFormat FrenchLanguage Keeping "garder") | french_format.kif 832-832 | |
| (termFormat Hindi Keeping "anurakshana") | terms-hindi.txt 364-364 | |
| (termFormat ItalianLanguage Keeping "Trattenere") | terms-it.txt 367-367 | |
| (termFormat JapaneseLanguage Keeping "保持") | japanese_format.kif 2516-2516 | |
| (termFormat PortugueseLanguage Keeping "Manter") | portuguese_format.kif 784-784 | |
| (termFormat cb Keeping "pagtago") | terms-cb.txt 369-369 | |
| (termFormat cz Keeping "keeping") | terms-cz.txt 403-403 | |
| (termFormat ro Keeping "pãstrare") | relations-ro.kif 853-853 | |
| (termFormat tg Keeping "itago") | terms-tg.txt 368-368 |
| 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 4347-4359 | |
| (=> (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 4361-4374 | |
| (=> (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 12224-12234 | |
| (=> (and (instance ?KEEP Keeping) (patient ?KEEP ?OBJ)) (exists (?PLACE) (forall (?TIME) (=> (temporalPart ?TIME (WhenFn ?KEEP)) (holdsDuring ?TIME (located ?OBJ ?PLACE)))))) |
Merge.kif 12236-12244 |
| 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 9779-9792 | |
| (=> (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 20280-20287 | |
| (=> (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 7272-7280 | |
| (=> (instance ?C ContainerChest) (hasPurpose ?C (exists (?KEEP) (and (instance ?KEEP Keeping) (instrument ?KEEP ?C))))) |
Mid-level-ontology.kif 3981-3987 | |
| (=> (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 1205-1215 | |
| (=> (instance ?DEVICE Holder) (capability Keeping instrument ?DEVICE)) |
Mid-level-ontology.kif 4311-4313 | |
| (=> (instance ?POCKET Pocket) (capability Keeping instrument ?POCKET)) |
Mid-level-ontology.kif 5421-5423 | |
| (=> (instance ?R Closet) (hasPurpose ?R (exists (?K ?O) (and (instance ?K Keeping) (patient ?K ?O) (located ?O ?R))))) |
Mid-level-ontology.kif 15725-15732 | |
| (=> (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 2262-2273 | |
| (=> (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 3886-3900 | |
| (=> (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 4335-4345 | |
| (=> (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 3919-3931 |
|
|
|