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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lock
Lock(锁)

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


(documentation Lock EnglishLanguage "A Device, which, through a Key or a combination prevents access to a Container or StationaryArtifact.") Mid-level-ontology.kif 2619-2620
(externalImage Lock "http://www.adampease.org/Articulate/SUMOpictures/pictures/ tools/ locks/ lock.png") pictureList.kif 563-563
(subclass Lock SecurityDevice) Mid-level-ontology.kif 2618-2618 锁 是 安全装置 的 subclass

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


(subclass ElectronicLock Lock) Mid-level-ontology.kif 25149-25149 ElectronicLock 是 锁 的 subclass
(termFormat ChineseLanguage Lock "锁") domainEnglishFormat.kif 34860-34860
(termFormat ChineseTraditionalLanguage Lock "鎖") domainEnglishFormat.kif 34859-34859
(termFormat EnglishLanguage Lock "lock") domainEnglishFormat.kif 34858-34858

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


(=>
    (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 ?S SafeContainer)
    (exists (?L)
        (and
            (instance ?L Lock)
            (part ?L ?S))))		 Mid-level-ontology.kif 2682-2687
(=>
    (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