| 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 11960-11961 | |
| (subclass Keeping IntentionalProcess) | Merge.kif 11959-11959 | 保存 是 有意图过程 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass Confining Keeping) | Merge.kif 11985-11985 | 关押 是 保存 的 subclass |
| (termFormat ChineseLanguage Keeping "保存") | chinese_format.kif 1154-1154 | |
| (termFormat EnglishLanguage Keeping "keeping") | english_format.kif 1525-1525 |
| 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 4290-4302 | |
| (=> (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 4304-4317 | |
| (=> (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 11963-11973 | |
| (=> (and (instance ?KEEP Keeping) (patient ?KEEP ?OBJ)) (exists (?PLACE) (forall (?TIME) (=> (temporalPart ?TIME (WhenFn ?KEEP)) (holdsDuring ?TIME (located ?OBJ ?PLACE)))))) |
Merge.kif 11975-11983 |
| consequent |
|
|
| (=> (and (instance ?P Plant) (part ?TIS ?P)) (exists (?K ?W ?CLASS) (and (instance ?K ?CLASS) (subclass ?CLASS Keeping) (instance ?W Water) (patient ?K ?W) (capability ?CLASS instrument ?TIS) (or (instance ?TIS PlantLeaf) (instance ?TIS PlantStem))))) |
Mid-level-ontology.kif 9207-9220 | |
| (=> (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 102-121 |
|
| (=> (instance ?ANIMAL DomesticAnimal) (exists (?KEEP ?PERSON) (and (instance ?KEEP Keeping) (agent ?KEEP ?PERSON) (instance ?PERSON Human) (patient ?KEEP ?ANIMAL)))) |
Mid-level-ontology.kif 19430-19437 | |
| (=> (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 6752-6760 | |
| (=> (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 1179-1189 | |
| (=> (instance ?DEVICE Holder) (capability Keeping instrument ?DEVICE)) |
Mid-level-ontology.kif 4225-4227 | |
| (=> (instance ?POCKET Pocket) (capability Keeping instrument ?POCKET)) |
Mid-level-ontology.kif 5142-5144 | |
| (=> (instance ?R Closet) (hasPurpose ?R (exists (?K ?O) (and (instance ?K Keeping) (patient ?K ?O) (located ?O ?R))))) |
Mid-level-ontology.kif 15026-15033 | |
| (=> (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 3849-3863 | |
| (=> (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 4278-4288 | |
| (=> (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 3882-3894 |
|
|
|