appearance as argument number 1 |
(documentation Clock EnglishLanguage "Any Device that measures and represents TimeDuration or TimePosition.") | Mid-level-ontology.kif 2876-2877 | |
(externalImage Clock "http://articulatesoftware.com/SUMOpictures/signs_symbol/ bullets/ clock.png") | pictureList.kif 350-350 | |
(subclass Clock MeasuringDevice) | Mid-level-ontology.kif 2875-2875 | Clock is a subclass of measuring device |
appearance as argument number 2 |
(subclass AlarmClock Clock) | Mid-level-ontology.kif 25813-25813 | Alarm clock is a subclass of clock |
(subclass WatchClock Clock) | Mid-level-ontology.kif 2887-2887 | Watch clock is a subclass of clock |
(termFormat ChineseLanguage Clock "ζΆι") | domainEnglishFormat.kif 15190-15190 | Watch clock is a subclass of clock |
(termFormat ChineseTraditionalLanguage Clock "ζι") | domainEnglishFormat.kif 15189-15189 | Watch clock is a subclass of clock |
(termFormat EnglishLanguage Clock "clock") | domainEnglishFormat.kif 15188-15188 | 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 2879-2885 |
|
(=> (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 |
|