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 21306-21307
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/1/ 15/ Towerbridge_closed.jpg") pictureList.kif 10652-10652
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/3/ 3c/ Tuerschliesser1_fcm.jpg") pictureList.kif 10655-10655
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/4/ 47/ Tower_Bridge_closing.jpg") pictureList.kif 9952-9952
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/6/ 6d/ Wooden_Door.JPG") pictureList.kif 10654-10654
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/d/ d7/ Safety_measures_of_a_tram_door.jpg") pictureList.kif 10653-10653
(subclass Closing Motion) Mid-level-ontology.kif 21305-21305

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


(relatedInternalConcept Opening Closing) Mid-level-ontology.kif 21299-21299
(subclass ClosingEyes Closing) Mid-level-ontology.kif 19742-19742
(termFormat ChineseLanguage Closing "关闭") domainEnglishFormat.kif 15202-15202
(termFormat ChineseTraditionalLanguage Closing "關閉") domainEnglishFormat.kif 15201-15201
(termFormat EnglishLanguage Closing "closing") domainEnglishFormat.kif 15200-15200

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


(=>
    (and
        (instance ?VD VehicleDoor)
        (attribute ?VD DeviceNormal))
    (and
        (capability Opening patient ?VD)
        (capability Closing patient ?VD)))
Mid-level-ontology.kif 29318-29324
(=>
    (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 2663-2679
(=>
    (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 4588-4602
(=>
    (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 3979-3987
(=>
    (instance ?VD VehicleDoor)
    (hasPurpose ?VD
        (exists (?C)
            (and
                (instance ?C Closing)
                (patient ?C ?VD)))))
Mid-level-ontology.kif 29310-29316
(=>
    (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 2635-2657
(=>
    (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 3775-3800


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