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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Opening
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 19864-19867
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/4/ 47/ Tower_Bridge_closing.jpg") pictureList.kif 11579-11579
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Westbound_Jubilee_Line_platform_at_Waterloo.jpg") pictureList.kif 11583-11583
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/b/ bc/ Mh_strabtuer_hochflur.jpeg") pictureList.kif 11581-11581
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/c/ c7/ Mazda_rx-8_front_view_with_doors_open.jpg") pictureList.kif 11580-11580
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/e/ ec/ IMG_7083_Kopie.jpg") pictureList.kif 10188-10188
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/f/ f2/ Suicide_door.jpg") pictureList.kif 11582-11582
(relatedInternalConcept Opening Closing) Mid-level-ontology.kif 19863-19863
(subclass Opening Motion) Mid-level-ontology.kif 19862-19862

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


(subclass OpeningEyes Opening) Mid-level-ontology.kif 18340-18340
(termFormat ChineseLanguage Opening "开盘") domainEnglishFormat.kif 42175-42175
(termFormat ChineseTraditionalLanguage Opening "開盤") domainEnglishFormat.kif 42174-42174
(termFormat EnglishLanguage Opening "opening") domainEnglishFormat.kif 42173-42173

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


(=>
    (and
        (instance ?VD VehicleDoor)
        (attribute ?VD DeviceNormal))
    (and
        (capability patient Opening ?VD)
        (capability patient Closing ?VD)))
Mid-level-ontology.kif 27806-27812
(=>
    (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 2388-2398
(=>
    (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 24193-24204
(=>
    (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 3276-3291
(=>
    (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 3861-3881
(=>
    (instance ?VD VehicleDoor)
    (hasPurpose ?VD
        (exists (?O)
            (and
                (instance ?O Opening)
                (patient ?O ?VD)))))
Mid-level-ontology.kif 27790-27796


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