| WatchClock
| |
| appearance as argument number 1 |
|
|
| (documentation WatchClock EnglishLanguage "A Clock that can be worn on the Wrist.") | Mid-level-ontology.kif 2888-2888 | |
| (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 2887-2887 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage WatchClock "้่กจ") | domainEnglishFormat.kif 62350-62350 | |
| (termFormat ChineseTraditionalLanguage WatchClock "้้ถ") | domainEnglishFormat.kif 62349-62349 | |
| (termFormat EnglishLanguage WatchClock "watch clock") | domainEnglishFormat.kif 62348-62348 |
| consequent |
|
|
| (=> (and (wears ?P ?C) (located ?C ?W) (instance ?C Clock) (instance ?W Wrist) (part ?W ?P)) (instance ?C WatchClock)) |
Mid-level-ontology.kif 2890-2897 |
|
|
|