appearance as argument number 1 |
![]() |
(documentation Clock EnglishLanguage "Any Device that measures and represents TimeDuration or TimePosition.") | Mid-level-ontology.kif 2949-2950 | |
(externalImage Clock "http://articulatesoftware.com/SUMOpictures/signs_symbol/ bullets/ clock.png") | pictureList.kif 350-350 | |
(subclass Clock MeasuringDevice) | Mid-level-ontology.kif 2948-2948 | Clock is a subclass of measuring device |
appearance as argument number 2 |
![]() |
(subclass AlarmClock Clock) | Mid-level-ontology.kif 26644-26644 | Alarm clock is a subclass of clock |
(subclass WatchClock Clock) | Mid-level-ontology.kif 2960-2960 | Watch clock is a subclass of clock |
(termFormat ChineseLanguage Clock "ζΆι") | domainEnglishFormat.kif 15189-15189 | Watch clock is a subclass of clock |
(termFormat ChineseTraditionalLanguage Clock "ζι") | domainEnglishFormat.kif 15188-15188 | Watch clock is a subclass of clock |
(termFormat EnglishLanguage Clock "clock") | domainEnglishFormat.kif 15187-15187 | Watch clock is a subclass of clock |
antecedent |
![]() |
(=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?C) (instance ?C Clock)) (instance ?Q TimeMeasure)) |
Mid-level-ontology.kif 2952-2958 |
|
(=> (and (wears ?P ?C) (located ?C ?W) (instance ?C Clock) (instance ?W Wrist) (part ?W ?P)) (instance ?C WatchClock)) |
Mid-level-ontology.kif 2963-2970 |
|
![]() |
![]() |