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 3127-3128
(externalImage Lock "http://articulatesoftware.com/SUMOpictures/tools/locks/ lock.png") pictureList.kif 563-563
(subclass Lock SecurityDevice) Mid-level-ontology.kif 3126-3126 Lock est une sous-classe de SecurityDevice

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


(subclass ElectronicLock Lock) Mid-level-ontology.kif 27680-27680 ElectronicLock est une sous-classe de Lock
(termFormat ChineseLanguage Lock "锁") domainEnglishFormat.kif 34888-34888 ElectronicLock est une sous-classe de Lock
(termFormat ChineseTraditionalLanguage Lock "鎖") domainEnglishFormat.kif 34887-34887 ElectronicLock est une sous-classe de Lock
(termFormat EnglishLanguage Lock "lock") domainEnglishFormat.kif 34886-34886 ElectronicLock est une sous-classe de Lock

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 3161-3177
(=>
    (instance ?S SafeContainer)
    (exists (?L)
        (and
            (instance ?L Lock)
            (part ?L ?S))))		 Mid-level-ontology.kif 3190-3195
(=>
    (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 3133-3155
(=>
    (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 3836-3861


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