Closing
|
|
appearance as argument number 1 |
(documentation Closing EnglishLanguage "The Class of Processes where an aperture is closed in an Object.") | Mid-level-ontology.kif 21527-21528 | |
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/1/ 15/ Towerbridge_closed.jpg") | pictureList.kif 10642-10642 | |
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/3/ 3c/ Tuerschliesser1_fcm.jpg") | pictureList.kif 10645-10645 | |
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/4/ 47/ Tower_Bridge_closing.jpg") | pictureList.kif 9944-9944 | |
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/6/ 6d/ Wooden_Door.JPG") | pictureList.kif 10644-10644 | |
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/d/ d7/ Safety_measures_of_a_tram_door.jpg") | pictureList.kif 10643-10643 | |
(subclass Closing Motion) | Mid-level-ontology.kif 21526-21526 |
appearance as argument number 2 |
(relatedInternalConcept Opening Closing) | Mid-level-ontology.kif 21520-21520 | |
(subclass ClosingEyes Closing) | Mid-level-ontology.kif 19960-19960 | |
(termFormat ChineseLanguage Closing "关闭") | domainEnglishFormat.kif 15204-15204 | |
(termFormat ChineseTraditionalLanguage Closing "關閉") | domainEnglishFormat.kif 15203-15203 | |
(termFormat EnglishLanguage Closing "closing") | domainEnglishFormat.kif 15202-15202 |
consequent |
(=> (and (instance ?VD VehicleDoor) (attribute ?VD DeviceNormal)) (and (capability Opening patient ?VD) (capability Closing patient ?VD))) |
Mid-level-ontology.kif 29402-29408 | |
(=> (attribute ?X Doorman) (hasPurpose ?X (exists (?DOOR ?PROC) (and (instance ?DOOR Door) (agent ?PROC ?X) (patient ?PROC ?DOOR) (or (instance ?PROC Opening) (instance ?PROC Closing)))))) |
Hotel.kif 2428-2438 | |
(=> (attribute ?X Locked) (exists (?LOCK ?CLOSE ?MOVE) (and (instance ?LOCK Lock) (connected ?LOCK ?X) (instance ?CLOSE Closing) (patient ?CLOSE ?LOCK) (instance ?MOVE Motion) (earlier (WhenFn ?CLOSE) (WhenFn (attribute ?X Locked))) (holdsDuring (WhenFn (attribute ?X Locked)) (not (modalAttribute (patient ?MOVE ?X) Possibility)))))) |
Mid-level-ontology.kif 2698-2714 | |
(=> (instance ?CS ChestSeal) (hasPurpose ?CS (exists (?C ?CH ?I ?H) (and (instance ?C Closing) (instrument ?C ?CS) (located ?C ?CH) (instance ?CH Chest) (instance ?H HoleRegion) (equal ?CH (HoleHostFn ?H)) (instance ?I Injuring) (located ?I ?CH) (earlier (WhenFn ?I) (WhenFn ?C)))))) |
Medicine.kif 828-844 | |
(=> (instance ?HS HeatSealer) (hasPurpose ?HS (exists (?CLOSE ?PLAST ?CONT ?HEAT) (and (instance ?CONT Container) (instance ?PLAST Plastic) (instance ?CLOSE Closing) (instance ?HEAT Heating) (instrument ?CLOSE ?HS) (instrument ?CLOSE ?PLAST) (agent ?HEAT ?HS) (patient ?HEAT ?PLAST) (result ?HEAT ?CLOSE) (patient ?CLOSE ?CONT))))) |
Economy.kif 5163-5177 | |
(=> (instance ?L Lid) (exists (?C) (and (instance ?C Container) (part ?L ?C) (capability Closing instrument ?L) (capability Opening instrument ?L) (top ?L ?C)))) |
Mid-level-ontology.kif 4019-4027 | |
(=> (instance ?VD VehicleDoor) (hasPurpose ?VD (exists (?C) (and (instance ?C Closing) (patient ?C ?VD))))) |
Mid-level-ontology.kif 29394-29400 | |
(=> (instance ?X Key) (hasPurpose ?X (exists (?LOCK ?CLOSE ?OPEN) (and (instance ?LOCK Lock) (capability (KappaFn ?CLOSE (and (instance ?CLOSE Closing) (patient ?CLOSE ?LOCK) (holdsDuring (ImmediateFutureFn ?CLOSE) (attribute ?LOCK Locked)))) instrument ?X) (capability (KappaFn ?OPEN (and (instance ?OPEN Closing) (patient ?OPEN ?LOCK) (holdsDuring (ImmediateFutureFn ?OPEN) (not (attribute ?LOCK Locked))))) instrument ?X))))) |
Mid-level-ontology.kif 2670-2692 | |
(=> (instance ?X RemoteKeylessSystem) (exists (?KEY ?LOCK ?CLOSE ?OPEN) (and (instance ?KEY Key) (instance ?KEY RemoteControl) (member ?KEY ?X) (instance ?LOCK Lock) (member ?LOCK ?X) (capability (KappaFn ?CLOSE (and (instance ?CLOSE Closing) (patient ?CLOSE ?LOCK) (holdsDuring (ImmediateFutureFn ?CLOSE) (attribute ?LOCK Locked)))) instrument ?KEY) (capability (KappaFn ?OPEN (and (instance ?OPEN Closing) (patient ?OPEN ?LOCK) (holdsDuring (ImmediateFutureFn ?OPEN) (not (attribute ?LOCK Locked))))) instrument ?KEY)))) |
Cars.kif 3775-3800 |