Lock - Sigma Knowledge base Browser

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

appearance as argument number 2

(subclass ElectronicLock Lock)	Mid-level-ontology.kif 26877-26877	Electronic lock is a subclass of lock
(termFormat ChineseLanguage Lock "锁")	domainEnglishFormat.kif 34905-34905	Electronic lock is a subclass of lock
(termFormat ChineseTraditionalLanguage Lock "鎖")	domainEnglishFormat.kif 34904-34904	Electronic lock is a subclass of lock
(termFormat EnglishLanguage Lock "lock")	domainEnglishFormat.kif 34903-34903	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 2764-2780	If locked is an attribute of an object, then there exist another object, a process and an entity such that the other object is an instance of lock and the other object is connected to the object and the process is an instance of closing and the other object is a patient of the process and the entity is an instance of motion and the time of existence of the process happens earlier than the time of existence of locked is an attribute of the object and the statement the object is a patient of the entity doesn't have the modal force of possibility holds during the time of existence of locked is an attribute of the object
(=> (instance ?S SafeContainer) (exists (?L) (and (instance ?L Lock) (part ?L ?S))))	Mid-level-ontology.kif 2793-2798	If an object is an instance of safe container, then there exists another object such that the other object is an instance of lock and the other object is a part of the object
(=> (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 2736-2758	If a physical is an instance of key, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of lock and the physical is capable of doing the class described by the other entity as a instrument and the physical is capable of doing the class described by the third entity as a instrument
(=> (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	If a collection is an instance of remote keyless system, then there exist an object, a physical,, , a symbolic string and another symbolic string such that the object is an instance of key and the object is an instance of remote control and the object is a member of the collection and the physical is an instance of lock and the physical is a member of the collection and the object is capable of doing the class described by the symbolic string as a instrument and the object is capable of doing the class described by the other symbolic string as a instrument

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