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 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 ist eine teilkategorie von SecurityDevice |
appearance as argument number 2 |
(subclass ElectronicLock Lock) | Mid-level-ontology.kif 25815-25815 | ElectronicLock ist eine teilkategorie von Lock |
(termFormat ChineseLanguage Lock "锁") | domainEnglishFormat.kif 34877-34877 | |
(termFormat ChineseTraditionalLanguage Lock "鎖") | domainEnglishFormat.kif 34876-34876 | |
(termFormat EnglishLanguage Lock "lock") | domainEnglishFormat.kif 34875-34875 |
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 |
|