WatchClock |
appearance as argument number 1 |
(documentation WatchClock EnglishLanguage "A Clock that can be worn on the Wrist.") | Mid-level-ontology.kif 2895-2895 | |
(externalImage WatchClock "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7c/ Pocket_watch_with_chain.jpg") | pictureList.kif 199-199 | |
(subclass WatchClock Clock) | Mid-level-ontology.kif 2894-2894 | WatchClock は Clock の subclass では %n |
appearance as argument number 2 |
(termFormat ChineseLanguage WatchClock "钟表") | domainEnglishFormat.kif 62325-62325 | |
(termFormat ChineseTraditionalLanguage WatchClock "鐘錶") | domainEnglishFormat.kif 62324-62324 | |
(termFormat EnglishLanguage WatchClock "watch clock") | domainEnglishFormat.kif 62323-62323 |
consequent |
(=> (and (wears ?P ?C) (located ?C ?W) (instance ?C Clock) (instance ?W Wrist) (part ?W ?P)) (instance ?C WatchClock)) |
Mid-level-ontology.kif 2897-2904 |
|