Clock |
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 |
appearance as argument number 2 |
(subclass AlarmClock Clock) | Mid-level-ontology.kif 25813-25813 | |
(subclass WatchClock Clock) | Mid-level-ontology.kif 2887-2887 | |
(termFormat ChineseLanguage Clock "ζΆι") | domainEnglishFormat.kif 15185-15185 | |
(termFormat ChineseTraditionalLanguage Clock "ζι") | domainEnglishFormat.kif 15184-15184 | |
(termFormat EnglishLanguage Clock "clock") | domainEnglishFormat.kif 15183-15183 |
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 |