Locked
|
|
appearance as argument number 1 |
(documentation Locked EnglishLanguage "An Attribute of Objects. A Locked Object is in some way restricted in movement, there is some movement, that the the Object can not performed, when it's locked.") | Mid-level-ontology.kif 2695-2696 | |
(externalImage Locked "http://upload.wikimedia.org/wikipedia/commons/2/21/ Kathmandu-05.JPG") | pictureList.kif 10101-10101 | |
(externalImage Locked "http://upload.wikimedia.org/wikipedia/commons/6/63/ Master_Padlock.jpg") | pictureList.kif 11364-11364 | |
(externalImage Locked "http://upload.wikimedia.org/wikipedia/commons/c/c6/ Locking_mechanism_on_box_recovered_from_the_Vasa.jpg") | pictureList.kif 11365-11365 | |
(externalImage Locked "http://upload.wikimedia.org/wikipedia/en/d/dc/Two_holes_no_waiting.JPG") | pictureList.kif 11366-11366 | |
(instance Locked RelationalAttribute) | Mid-level-ontology.kif 2694-2694 | Locked ist ein fall von RelationalAttribute %n{nicht} |
appearance as argument number 2 |
(termFormat ChineseLanguage Locked "锁定") | domainEnglishFormat.kif 34883-34883 | |
(termFormat ChineseTraditionalLanguage Locked "鎖定") | domainEnglishFormat.kif 34882-34882 | |
(termFormat EnglishLanguage Locked "locked") | domainEnglishFormat.kif 34881-34881 |
antecedent |
(=> (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 2698-2714 |
|
(=> (attribute ?X Locked) (instance ?X Object)) |
Mid-level-ontology.kif 2716-2718 |
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 2698-2714 |
|
(=> (instance ?X FuelCapLock) (hasPurpose ?X (exists (?TANK ?HOLE ?T) (and (instance ?TANK GasTank) (hole ?HOLE ?TANK) (decreasesLikelihood (holdsDuring ?T (and (connected ?X ?HOLE) (attribute ?X Locked))) (holdsDuring ?T (exists (?STEAL ?FUEL) (and (instance ?STEAL Stealing) (instance ?FUEL Fuel) (located ?FUEL ?TANK) (patient ?STEAL ?FUEL))))))))) |
Cars.kif 1016-1034 |
|
(=> (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 2670-2692 |
|
(=> (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 3783-3808 |
|
(=> (instance ?X SteeringColumnLock) (hasPurpose ?X (exists (?SC ?P ?CAR ?T) (and (instance ?SC SteeringColumn) (instance ?CAR Automobile) (component ?SC ?CAR) (part ?X ?SC) (instance ?P Protecting) (instrument ?P ?X) (decreasesLikelihood (holdsDuring ?T (attribute ?X Locked)) (holdsDuring ?T (exists (?STEAL) (and (instance ?STEAL Stealing) (patient ?STEAL ?CAR))))))))) |
Cars.kif 4002-4020 |
|