Opening more pictures... |
appearance as argument number 1 |
(documentation Opening EnglishLanguage "The Class of Processes where an aperture is created in an Object. Note that the aperture may be created intentionally, as when one opens a door, or unintentionally, as when the ground ruptures in a seismic event.") | Mid-level-ontology.kif 21779-21782 | |
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/4/ 47/ Tower_Bridge_closing.jpg") | pictureList.kif 11552-11552 | |
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Westbound_Jubilee_Line_platform_at_Waterloo.jpg") | pictureList.kif 11556-11556 | |
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/b/ bc/ Mh_strabtuer_hochflur.jpeg") | pictureList.kif 11554-11554 | |
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/c/ c7/ Mazda_rx-8_front_view_with_doors_open.jpg") | pictureList.kif 11553-11553 | |
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/e/ ec/ IMG_7083_Kopie.jpg") | pictureList.kif 10167-10167 | |
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/f/ f2/ Suicide_door.jpg") | pictureList.kif 11555-11555 | |
(relatedInternalConcept Opening Closing) | Mid-level-ontology.kif 21778-21778 | |
(subclass Opening Motion) | Mid-level-ontology.kif 21777-21777 |
appearance as argument number 2 |
(subclass OpeningEyes Opening) | Mid-level-ontology.kif 20212-20212 | |
(termFormat ChineseLanguage Opening "开盘") | domainEnglishFormat.kif 42231-42231 | |
(termFormat ChineseTraditionalLanguage Opening "開盤") | domainEnglishFormat.kif 42230-42230 | |
(termFormat EnglishLanguage Opening "opening") | domainEnglishFormat.kif 42229-42229 |
consequent |
(=> (and (instance ?VD VehicleDoor) (attribute ?VD DeviceNormal)) (and (capability Opening patient ?VD) (capability Closing patient ?VD))) |
Mid-level-ontology.kif 29686-29692 | |
(=> (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 | |
(=> (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 4012-4020 | |
(=> (instance ?LOCK ElectronicLock) (hasPurpose ?LOCK (exists (?ES ?PROC) (and (instance ?ES ElectronicSignalling) (destination ?ES ?LOCK) (instance ?PROC Opening) (instrument ?PROC ?LOCK) (before (BeginFn (WhenFn ?ES)) (BeginFn (WhenFn ?PROC))))))) |
Mid-level-ontology.kif 26051-26062 | |
(=> (instance ?MHCV ManifoldHeatControlValve) (hasPurpose ?MHCV (exists (?H ?O ?E ?FV ?T) (and (instance ?H Heating) (instance ?O Opening) (instance ?E Exhaust) (instance ?T Transfer) (instance ?FV FuelVapor) (patient ?O ?MHCV) (instrument ?H ?E) (patient ?H ?FV) (path ?T ?MHCV) (causes ?O ?T) (causes ?T ?H))))) |
Cars.kif 3322-3337 | |
(=> (instance ?RA RockerArm) (hasPurpose ?RA (exists (?P1 ?C ?P2 ?V ?O ?FSE) (and (instance ?P1 Pushing) (instance ?C Cam) (instance ?P2 Pushing) (instance ?V Valve) (instance ?O Opening) (instance ?FSE FourStrokeEngine) (part ?RA ?FSE) (part ?C ?FSE) (part ?V ?FSE) (instrument ?P1 ?C) (destination ?P1 ?RA) (instrument ?P2 ?RA) (destination ?P2 ?V) (causes ?P1 ?P2) (causes ?P2 ?O) (patient ?O ?V))))) |
Cars.kif 3904-3924 | |
(=> (instance ?VD VehicleDoor) (hasPurpose ?VD (exists (?O) (and (instance ?O Opening) (patient ?O ?VD))))) |
Mid-level-ontology.kif 29670-29676 |