more pictures...
| Closing
more pictures... | |
| appearance as argument number 1 |
|
|
| (documentation Closing EnglishLanguage "The Class of Processes where an aperture is closed in an Object.") | Mid-level-ontology.kif 20840-20841 | |
| (externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/1/ 15/ Towerbridge_closed.jpg") | pictureList.kif 10652-10652 | |
| (externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/3/ 3c/ Tuerschliesser1_fcm.jpg") | pictureList.kif 10655-10655 | |
| (externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/4/ 47/ Tower_Bridge_closing.jpg") | pictureList.kif 9952-9952 | |
| (externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/6/ 6d/ Wooden_Door.JPG") | pictureList.kif 10654-10654 | |
| (externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/d/ d7/ Safety_measures_of_a_tram_door.jpg") | pictureList.kif 10653-10653 | |
| (subclass Closing Motion) | Mid-level-ontology.kif 20839-20839 |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Opening Closing) | Mid-level-ontology.kif 20833-20833 | |
| (subclass ClosingEyes Closing) | Mid-level-ontology.kif 19303-19303 | |
| (termFormat ChineseLanguage Closing "关闭") | domainEnglishFormat.kif 15207-15207 | |
| (termFormat ChineseTraditionalLanguage Closing "關閉") | domainEnglishFormat.kif 15206-15206 | |
| (termFormat EnglishLanguage Closing "closing") | domainEnglishFormat.kif 15205-15205 |
| consequent |
|
|
| (=> (and (instance ?VD VehicleDoor) (attribute ?VD DeviceNormal)) (and (capability patient Opening ?VD) (capability patient Closing ?VD))) |
Mid-level-ontology.kif 28788-28794 | |
| (=> (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 2401-2411 | |
| (=> (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 2653-2669 | |
| (=> (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 4582-4596 | |
| (=> (instance ?VD VehicleDoor) (hasPurpose ?VD (exists (?C) (and (instance ?C Closing) (patient ?C ?VD))))) |
Mid-level-ontology.kif 28780-28786 | |
| (=> (instance ?X Key) (hasPurpose ?X (exists (?LOCK) (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 2625-2647 | |
| (=> (instance ?X RemoteKeylessSystem) (exists (?KEY ?LOCK) (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 3778-3803 |
|
|
|