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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 20820-20821
(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 20819-20819 关闭运动subclass

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


(relatedInternalConcept Opening Closing) Mid-level-ontology.kif 20813-20813 开盘关闭 是 内部相关
(subclass ClosingEyes Closing) Mid-level-ontology.kif 19283-19283 闭上眼睛关闭subclass
(termFormat ChineseLanguage Closing "关闭") domainEnglishFormat.kif 15207-15207
(termFormat ChineseTraditionalLanguage Closing "關閉") domainEnglishFormat.kif 15206-15206
(termFormat EnglishLanguage Closing "closing") domainEnglishFormat.kif 15205-15205

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


(=>
    (and
        (instance ?VD VehicleDoor)
        (attribute ?VD DeviceNormal))
    (and
        (capability patient Opening ?VD)
        (capability patient Closing ?VD)))
Mid-level-ontology.kif 28768-28774
(=>
    (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 2401-2411
(=>
    (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 2653-2669
(=>
    (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 4582-4596
(=>
    (instance ?VD VehicleDoor)
    (hasPurpose ?VD
        (exists (?C)
            (and
                (instance ?C Closing)
                (patient ?C ?VD)))))
Mid-level-ontology.kif 28760-28766
(=>
    (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 2625-2647
(=>
    (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 3778-3803


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