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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Opening
Opening
more pictures...

VerbNet: other_cos-45.4|open, other_cos-45.4|open, disassemble-23.3|unlock,


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 19170-19173
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/4/ 47/ Tower_Bridge_closing.jpg") pictureList.kif 11580-11580
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Westbound_Jubilee_Line_platform_at_Waterloo.jpg") pictureList.kif 11584-11584
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/b/ bc/ Mh_strabtuer_hochflur.jpeg") pictureList.kif 11582-11582
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/c/ c7/ Mazda_rx-8_front_view_with_doors_open.jpg") pictureList.kif 11581-11581
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/e/ ec/ IMG_7083_Kopie.jpg") pictureList.kif 10189-10189
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/f/ f2/ Suicide_door.jpg") pictureList.kif 11583-11583
(relatedInternalConcept Opening Closing) Mid-level-ontology.kif 19169-19169 relatedInternalConcept Opening and Closing
(subclass Opening Motion) Mid-level-ontology.kif 19168-19168 subclass Opening and Motion

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


(subclass OpeningEyes Opening) Mid-level-ontology.kif 17713-17713 subclass OpeningEyes and Opening
(termFormat ChineseLanguage Opening "开盘") domainEnglishFormat.kif 42085-42085
(termFormat ChineseTraditionalLanguage Opening "開盤") domainEnglishFormat.kif 42084-42084
(termFormat EnglishLanguage Opening "opening") domainEnglishFormat.kif 42083-42083

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


(=>
    (and
        (instance ?VD VehicleDoor)
        (attribute ?VD DeviceNormal))
    (and
        (capability patient Opening ?VD)
        (capability patient Closing ?VD)))		 Mid-level-ontology.kif 27555-27561
(=>
    (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 2374-2384
(=>
    (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 23716-23727
(=>
    (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 3237-3252
(=>
    (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 3817-3837
(=>
    (instance ?VD VehicleDoor)
    (hasPurpose ?VD
        (exists (?O)
            (and
                (instance ?O Opening)
                (patient ?O ?VD)))))		 Mid-level-ontology.kif 27539-27545


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners