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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Closing

 Sigma KEE - Closing
Closing
more pictures...

appearance as argument number 1
-------------------------


(documentation Closing EnglishLanguage "The Class of Processes where an aperture is closed in an Object.") Mid-level-ontology.kif 21554-21555
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/1/ 15/ Towerbridge_closed.jpg") pictureList.kif 10642-10642
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/3/ 3c/ Tuerschliesser1_fcm.jpg") pictureList.kif 10645-10645
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/4/ 47/ Tower_Bridge_closing.jpg") pictureList.kif 9944-9944
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/6/ 6d/ Wooden_Door.JPG") pictureList.kif 10644-10644
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/d/ d7/ Safety_measures_of_a_tram_door.jpg") pictureList.kif 10643-10643
(subclass Closing Motion) Mid-level-ontology.kif 21553-21553 Closing è una sottoclasse di Movimento

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


(relatedInternalConcept Opening Closing) Mid-level-ontology.kif 21547-21547 Opening è interamente correlato a Closing
(subclass ClosingEyes Closing) Mid-level-ontology.kif 19987-19987 ClosingEyes è una sottoclasse di Closing
(termFormat ChineseLanguage Closing "关闭") domainEnglishFormat.kif 15204-15204
(termFormat ChineseTraditionalLanguage Closing "關閉") domainEnglishFormat.kif 15203-15203
(termFormat EnglishLanguage Closing "closing") domainEnglishFormat.kif 15202-15202

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
(=>
    (attribute ?X Locked)
    (exists (?LOCK ?CLOSE ?MOVE)
        (and
            (instance ?LOCK Lock)
            (connected ?LOCK ?X)
            (instance ?CLOSE Closing)
            (patient ?CLOSE ?LOCK)
            (instance ?MOVE Motion)
            (earlier
                (WhenFn ?CLOSE)
                (WhenFn
                    (attribute ?X Locked)))
            (holdsDuring
                (WhenFn
                    (attribute ?X Locked))
                (not
                    (modalAttribute
                        (patient ?MOVE ?X) Possibility))))))		 Mid-level-ontology.kif 2691-2707
(=>
    (instance ?CS ChestSeal)
    (hasPurpose ?CS
        (exists (?C ?CH ?I ?H)
            (and
                (instance ?C Closing)
                (instrument ?C ?CS)
                (located ?C ?CH)
                (instance ?CH Chest)
                (instance ?H HoleRegion)
                (equal ?CH
                    (HoleHostFn ?H))
                (instance ?I Injuring)
                (located ?I ?CH)
                (earlier
                    (WhenFn ?I)
                    (WhenFn ?C))))))		 Medicine.kif 828-844
(=>
    (instance ?HS HeatSealer)
    (hasPurpose ?HS
        (exists (?CLOSE ?PLAST ?CONT ?HEAT)
            (and
                (instance ?CONT Container)
                (instance ?PLAST Plastic)
                (instance ?CLOSE Closing)
                (instance ?HEAT Heating)
                (instrument ?CLOSE ?HS)
                (instrument ?CLOSE ?PLAST)
                (agent ?HEAT ?HS)
                (patient ?HEAT ?PLAST)
                (result ?HEAT ?CLOSE)
                (patient ?CLOSE ?CONT)))))		 Economy.kif 5163-5177
(=>
    (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 ?VD VehicleDoor)
    (hasPurpose ?VD
        (exists (?C)
            (and
                (instance ?C Closing)
                (patient ?C ?VD)))))		 Mid-level-ontology.kif 29445-29451
(=>
    (instance ?X Key)
    (hasPurpose ?X
        (exists (?LOCK ?CLOSE ?OPEN)
            (and
                (instance ?LOCK Lock)
                (capability
                    (KappaFn ?CLOSE
                        (and
                            (instance ?CLOSE Closing)
                            (patient ?CLOSE ?LOCK)
                            (holdsDuring
                                (ImmediateFutureFn ?CLOSE)
                                (attribute ?LOCK Locked)))) instrument ?X)
                (capability
                    (KappaFn ?OPEN
                        (and
                            (instance ?OPEN Closing)
                            (patient ?OPEN ?LOCK)
                            (holdsDuring
                                (ImmediateFutureFn ?OPEN)
                                (not
                                    (attribute ?LOCK Locked))))) instrument ?X)))))		 Mid-level-ontology.kif 2663-2685
(=>
    (instance ?X RemoteKeylessSystem)
    (exists (?KEY ?LOCK ?CLOSE ?OPEN)
        (and
            (instance ?KEY Key)
            (instance ?KEY RemoteControl)
            (member ?KEY ?X)
            (instance ?LOCK Lock)
            (member ?LOCK ?X)
            (capability
                (KappaFn ?CLOSE
                    (and
                        (instance ?CLOSE Closing)
                        (patient ?CLOSE ?LOCK)
                        (holdsDuring
                            (ImmediateFutureFn ?CLOSE)
                            (attribute ?LOCK Locked)))) instrument ?KEY)
            (capability
                (KappaFn ?OPEN
                    (and
                        (instance ?OPEN Closing)
                        (patient ?OPEN ?LOCK)
                        (holdsDuring
                            (ImmediateFutureFn ?OPEN)
                            (not
                                (attribute ?LOCK Locked))))) instrument ?KEY))))		 Cars.kif 3760-3785


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

Show without tree


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