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 3158-3159 | |
(externalImage Locked "http://upload.wikimedia.org/wikipedia/commons/2/21/ Kathmandu-05.JPG") | pictureList.kif 10099-10099 | |
(externalImage Locked "http://upload.wikimedia.org/wikipedia/commons/6/63/ Master_Padlock.jpg") | pictureList.kif 11357-11357 | |
(externalImage Locked "http://upload.wikimedia.org/wikipedia/commons/c/c6/ Locking_mechanism_on_box_recovered_from_the_Vasa.jpg") | pictureList.kif 11358-11358 | |
(externalImage Locked "http://upload.wikimedia.org/wikipedia/en/d/dc/Two_holes_no_waiting.JPG") | pictureList.kif 11359-11359 | |
(instance Locked RelationalAttribute) | Mid-level-ontology.kif 3157-3157 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Locked "锁定") | domainEnglishFormat.kif 34894-34894 | |
(termFormat ChineseTraditionalLanguage Locked "鎖定") | domainEnglishFormat.kif 34893-34893 | |
(termFormat EnglishLanguage Locked "locked") | domainEnglishFormat.kif 34892-34892 |
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 3161-3177 | |
(=> (attribute ?X Locked) (instance ?X Object)) |
Mid-level-ontology.kif 3179-3181 |
consequent |
![]() |
![]() |
![]() |