MotorcycleRacing
|
|
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 2688-2689 | |
(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 2687-2687 | 例 鎖定 and RelationalAttribute |
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 2691-2707 | |
(=> (attribute ?X Locked) (instance ?X Object)) |
Mid-level-ontology.kif 2709-2711 |
consequent |