Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Opening
Opening(opening)
more pictures...
open, open_up, unlock, ventilate

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 23138-23141
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/4/ 47/ Tower_Bridge_closing.jpg") pictureList.kif 11546-11546
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Westbound_Jubilee_Line_platform_at_Waterloo.jpg") pictureList.kif 11550-11550
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/b/ bc/ Mh_strabtuer_hochflur.jpeg") pictureList.kif 11548-11548
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/c/ c7/ Mazda_rx-8_front_view_with_doors_open.jpg") pictureList.kif 11547-11547
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/e/ ec/ IMG_7083_Kopie.jpg") pictureList.kif 10166-10166
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/f/ f2/ Suicide_door.jpg") pictureList.kif 11549-11549
(relatedInternalConcept Opening Closing) Mid-level-ontology.kif 23137-23137 Opening is internally related to closing
(subclass Opening Motion) Mid-level-ontology.kif 23136-23136 Opening is a subclass of motion

appearance as argument number 2
-------------------------


(subclass OpeningEyes Opening) Mid-level-ontology.kif 21541-21541 Opening eyes is a subclass of opening
(termFormat ChineseLanguage Opening "开盘") domainEnglishFormat.kif 42206-42206 Opening eyes is a subclass of opening
(termFormat ChineseTraditionalLanguage Opening "開盤") domainEnglishFormat.kif 42205-42205 Opening eyes is a subclass of opening
(termFormat EnglishLanguage Opening "opening") domainEnglishFormat.kif 42204-42204 Opening eyes is a subclass of opening

consequent
-------------------------


(=>
    (and
        (instance ?VD VehicleDoor)
        (attribute ?VD DeviceNormal))
    (and
        (capability Opening patient ?VD)
        (capability Closing patient ?VD)))
Mid-level-ontology.kif 31321-31327
(=>
    (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 2439-2449
(=>
    (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 4462-4470
(=>
    (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 27685-27696
(=>
    (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 3323-3338
(=>
    (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 3905-3925
(=>
    (instance ?VD VehicleDoor)
    (hasPurpose ?VD
        (exists (?O)
            (and
                (instance ?O Opening)
                (patient ?O ?VD)))))
Mid-level-ontology.kif 31305-31311


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners