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 21548-21551
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/4/ 47/ Tower_Bridge_closing.jpg") pictureList.kif 11553-11553
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Westbound_Jubilee_Line_platform_at_Waterloo.jpg") pictureList.kif 11557-11557
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/b/ bc/ Mh_strabtuer_hochflur.jpeg") pictureList.kif 11555-11555
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/c/ c7/ Mazda_rx-8_front_view_with_doors_open.jpg") pictureList.kif 11554-11554
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/e/ ec/ IMG_7083_Kopie.jpg") pictureList.kif 10168-10168
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/f/ f2/ Suicide_door.jpg") pictureList.kif 11556-11556
(relatedInternalConcept Opening Closing) Mid-level-ontology.kif 21547-21547 相關的內部概念 開盤 and 關閉
(subclass Opening Motion) Mid-level-ontology.kif 21546-21546 子類 開盤 and Motion

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


(subclass OpeningEyes Opening) Mid-level-ontology.kif 19981-19981 子類 睜開眼睛 and 開盤
(termFormat ChineseLanguage Opening "开盘") domainEnglishFormat.kif 42200-42200
(termFormat ChineseTraditionalLanguage Opening "開盤") domainEnglishFormat.kif 42199-42199
(termFormat EnglishLanguage Opening "opening") domainEnglishFormat.kif 42198-42198

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


(=>
    (and
        (instance ?VD VehicleDoor)
        (attribute ?VD DeviceNormal))
    (and
        (capability Opening patient ?VD)
        (capability Closing patient ?VD)))		 Mid-level-ontology.kif 29453-29459
(=>
    (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 25820-25831
(=>
    (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 3247-3262
(=>
    (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 3829-3849
(=>
    (instance ?VD VehicleDoor)
    (hasPurpose ?VD
        (exists (?O)
            (and
                (instance ?O Opening)
                (patient ?O ?VD)))))		 Mid-level-ontology.kif 29437-29443


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