| appearance as argument number 1 |
|
|
| (documentation Clock EnglishLanguage "Any Device that measures and represents TimeDuration or TimePosition.") | Mid-level-ontology.kif 3363-3364 | |
| (externalImage Clock "http://www.adampease.org/Articulate/SUMOpictures/pictures/ signs_symbol/ bullets/ clock.png") | pictureList.kif 350-350 | |
| (subclass Clock MeasuringDevice) | Mid-level-ontology.kif 3362-3362 | Clock is a subclass of measuring device |
| appearance as argument number 2 |
|
|
| (subclass AlarmClock Clock) | Mid-level-ontology.kif 23437-23437 | Alarm clock is a subclass of clock |
| (subclass WatchClock Clock) | Mid-level-ontology.kif 3374-3374 | Watch clock is a subclass of clock |
| (termFormat ChineseLanguage Clock "时钟") | domainEnglishFormat.kif 15109-15109 | |
| (termFormat ChineseTraditionalLanguage Clock "時鐘") | domainEnglishFormat.kif 15108-15108 | |
| (termFormat EnglishLanguage Clock "clock") | domainEnglishFormat.kif 15107-15107 |
| antecedent |
|
|
| (=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?C) (instance ?C Clock)) (instance ?Q TimeMeasure)) |
Mid-level-ontology.kif 3366-3372 |
|
| (=> (and (wears ?P ?C) (located ?C ?W) (instance ?C Clock) (instance ?W Wrist) (part ?W ?P)) (instance ?C WatchClock)) |
Mid-level-ontology.kif 3377-3384 |
|
|
|
|