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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Closing
Closing
more pictures...

VerbNet: spank-18.3|slam, other_cos-45.4|shut, other_cos-45.4|shut, spank-18.3|slam,


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


(documentation Closing EnglishLanguage "The Class of Processes where an aperture is closed in an Object.") Mid-level-ontology.kif 19165-19166
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/1/ 15/ Towerbridge_closed.jpg") pictureList.kif 10663-10663
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/3/ 3c/ Tuerschliesser1_fcm.jpg") pictureList.kif 10666-10666
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/4/ 47/ Tower_Bridge_closing.jpg") pictureList.kif 9962-9962
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/6/ 6d/ Wooden_Door.JPG") pictureList.kif 10665-10665
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/d/ d7/ Safety_measures_of_a_tram_door.jpg") pictureList.kif 10664-10664
(subclass Closing Motion) Mid-level-ontology.kif 19164-19164

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


(relatedInternalConcept Opening Closing) Mid-level-ontology.kif 19158-19158
(subclass ClosingEyes Closing) Mid-level-ontology.kif 17718-17718
(termFormat ChineseLanguage Closing "关闭") domainEnglishFormat.kif 15145-15145
(termFormat ChineseTraditionalLanguage Closing "關閉") domainEnglishFormat.kif 15144-15144
(termFormat EnglishLanguage Closing "closing") domainEnglishFormat.kif 15143-15143

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


(=>
    (and
        (instance ?VD VehicleDoor)
        (attribute ?VD DeviceNormal))
    (and
        (capability patient Opening ?VD)
        (capability patient Closing ?VD)))
Mid-level-ontology.kif 27551-27557
(=>
    (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 2369-2379
(=>
    (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 3163-3179
(=>
    (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 4429-4443
(=>
    (instance ?VD VehicleDoor)
    (hasPurpose ?VD
        (exists (?C)
            (and
                (instance ?C Closing)
                (patient ?C ?VD)))))
Mid-level-ontology.kif 27543-27549
(=>
    (instance ?X Key)
    (hasPurpose ?X
        (exists (?LOCK)
            (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 3137-3159
(=>
    (instance ?X RemoteKeylessSystem)
    (exists (?KEY ?LOCK)
        (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 3741-3766


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