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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lock
Lock(lock)
combination_lock, cylinder_lock, door_latch, doorlock, latch, lever_lock, lock, padlock

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 2657-2658
(externalImage Lock "http://articulatesoftware.com/SUMOpictures/tools/locks/ lock.png") pictureList.kif 563-563
(subclass Lock SecurityDevice) Mid-level-ontology.kif 2656-2656 Lock is a subclass of security device

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


(subclass ElectronicLock Lock) Mid-level-ontology.kif 26046-26046 Electronic lock is a subclass of lock
(termFormat ChineseLanguage Lock "锁") domainEnglishFormat.kif 34911-34911 Electronic lock is a subclass of lock
(termFormat ChineseTraditionalLanguage Lock "鎖") domainEnglishFormat.kif 34910-34910 Electronic lock is a subclass of lock
(termFormat EnglishLanguage Lock "lock") domainEnglishFormat.kif 34909-34909 Electronic lock is a subclass of 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 2691-2707
(=>
    (instance ?S SafeContainer)
    (exists (?L)
        (and
            (instance ?L Lock)
            (part ?L ?S))))
Mid-level-ontology.kif 2720-2725
(=>
    (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 2663-2685
(=>
    (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 3760-3785


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