Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Lock(lock)
|  | combination_lock, cylinder_lock, door_latch, doorlock, latch, lever_lock, lock, padlock |
| appearance as argument number 1 |
|
|
| (subclass Lock SecurityDevice) | Mid-level-ontology.kif 3262-3262 | Lock is a subclass of security device |
| (documentation Lock EnglishLanguage "A Device, which, through a Key or a combination prevents access to a Container or StationaryArtifact.") | Mid-level-ontology.kif 3263-3264 | Lock is a subclass of security device |
| (externalImage Lock "http://articulatesoftware.com/SUMOpictures/tools/locks/ lock.png") | pictureList.kif 563-563 | Lock is a subclass of security device |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (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 (WhenFn ?CLOSE)) (attribute ?LOCK Locked)))) instrument ?X) (capability (KappaFn ?OPEN (and (instance ?OPEN Closing) (patient ?OPEN ?LOCK) (holdsDuring (ImmediateFutureFn (WhenFn ?OPEN)) (not (attribute ?LOCK Locked))))) instrument ?X))))) |
Mid-level-ontology.kif 3269-3293 | If X is an instance of key, then X has the purpose there exist Y, Z, W such that Y is an instance of lock, X is capable of doing the class described by Z as a instrument, and X is capable of doing the class described by W as a instrument |
| (=> (holdsDuring ?T (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) ?T) (holdsDuring ?T (not (modalAttribute (patient ?MOVE ?X) Possibility)))))) |
Mid-level-ontology.kif 3299-3314 | If locked is an attribute of X holds during Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of lock (3) Z is connected to X (4) W is an instance of closing (5) Z is a patient of W (6) V is an instance of motion (7) the time of existence of W happens earlier than Y (8) the statement X is not a patient of V doesn't have the modal force of possibility holds during Y |
| (=> (instance ?S SafeContainer) (exists (?L) (and (instance ?L Lock) (part ?L ?S)))) |
Mid-level-ontology.kif 3327-3332 | If X is an instance of safe container, then there exists Y such that Y is an instance of lock and Y is a part of X |
| (=> (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 (WhenFn ?CLOSE)) (attribute ?LOCK Locked)))) instrument ?KEY) (capability (KappaFn ?OPEN (and (instance ?OPEN Closing) (patient ?OPEN ?LOCK) (holdsDuring (ImmediateFutureFn (WhenFn ?OPEN)) (not (attribute ?LOCK Locked))))) instrument ?KEY)))) |
Cars.kif 3642-3669 | If X is an instance of remote keyless system, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of key (3) Y is an instance of remote control (4) Y is a member of X (5) Z is an instance of lock (6) Z is a member of X (7) Y is capable of doing the class described by W as a instrument (8) Y is capable of doing the class described by V as a instrument |
|