Opening![]() ![]() ![]() ![]() | ![]() |
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 21300-21303 | |
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/4/ 47/ Tower_Bridge_closing.jpg") | pictureList.kif 11569-11569 | |
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Westbound_Jubilee_Line_platform_at_Waterloo.jpg") | pictureList.kif 11573-11573 | |
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/b/ bc/ Mh_strabtuer_hochflur.jpeg") | pictureList.kif 11571-11571 | |
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/c/ c7/ Mazda_rx-8_front_view_with_doors_open.jpg") | pictureList.kif 11570-11570 | |
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/e/ ec/ IMG_7083_Kopie.jpg") | pictureList.kif 10178-10178 | |
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/f/ f2/ Suicide_door.jpg") | pictureList.kif 11572-11572 | |
(relatedInternalConcept Opening Closing) | Mid-level-ontology.kif 21299-21299 | |
(subclass Opening Motion) | Mid-level-ontology.kif 21298-21298 |
appearance as argument number 2 |
![]() |
(subclass OpeningEyes Opening) | Mid-level-ontology.kif 19736-19736 | |
(termFormat ChineseLanguage Opening "开盘") | domainEnglishFormat.kif 42178-42178 | |
(termFormat ChineseTraditionalLanguage Opening "開盤") | domainEnglishFormat.kif 42177-42177 | |
(termFormat EnglishLanguage Opening "opening") | domainEnglishFormat.kif 42176-42176 |
consequent |
![]() |
(=> (and (instance ?VD VehicleDoor) (attribute ?VD DeviceNormal)) (and (capability Opening patient ?VD) (capability Closing patient ?VD))) |
Mid-level-ontology.kif 29318-29324 | |
(=> (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 3979-3987 | |
(=> (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 25696-25707 | |
(=> (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 3262-3277 | |
(=> (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 3844-3864 | |
(=> (instance ?VD VehicleDoor) (hasPurpose ?VD (exists (?O) (and (instance ?O Opening) (patient ?O ?VD))))) |
Mid-level-ontology.kif 29302-29308 |
![]() |
![]() |