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 3163-3163 | |
(externalImage Locked "http://upload.wikimedia.org/wikipedia/commons/2/21/ Kathmandu-05.JPG") | pictureList.kif 10121-10121 | |
(externalImage Locked "http://upload.wikimedia.org/wikipedia/commons/6/63/ Master_Padlock.jpg") | pictureList.kif 11391-11391 | |
(externalImage Locked "http://upload.wikimedia.org/wikipedia/commons/c/c6/ Locking_mechanism_on_box_recovered_from_the_Vasa.jpg") | pictureList.kif 11392-11392 | |
(externalImage Locked "http://upload.wikimedia.org/wikipedia/en/d/dc/Two_holes_no_waiting.JPG") | pictureList.kif 11393-11393 | |
(instance Locked RelationalAttribute) | Mid-level-ontology.kif 3162-3162 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Locked "锁定") | domainEnglishFormat.kif 34873-34873 | |
(termFormat ChineseTraditionalLanguage Locked "鎖定") | domainEnglishFormat.kif 34872-34872 | |
(termFormat EnglishLanguage Locked "locked") | domainEnglishFormat.kif 34871-34871 |
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 3164-3180 | |
(=> (attribute ?X Locked) (instance ?X Object)) |
Mid-level-ontology.kif 3182-3184 |
consequent |
![]() |
![]() |
![]() |