| Clock
| |
| appearance as argument number 1 |
|
|
| (documentation Clock EnglishLanguage "Any Device that measures and represents TimeDuration or TimePosition.") | Mid-level-ontology.kif 2855-2856 | |
| (externalImage Clock "http://articulatesoftware.com/SUMOpictures/signs_symbol/ bullets/ clock.png") | pictureList.kif 350-350 | |
| (subclass Clock MeasuringDevice) | Mid-level-ontology.kif 2854-2854 |
| appearance as argument number 2 |
|
|
| (subclass AlarmClock Clock) | Mid-level-ontology.kif 25441-25441 | |
| (subclass WatchClock Clock) | Mid-level-ontology.kif 2866-2866 | |
| (termFormat ChineseLanguage Clock "ζΆι") | domainEnglishFormat.kif 15174-15174 | |
| (termFormat ChineseTraditionalLanguage Clock "ζι") | domainEnglishFormat.kif 15173-15173 | |
| (termFormat EnglishLanguage Clock "clock") | domainEnglishFormat.kif 15172-15172 |
| antecedent |
|
|
| (=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?C) (instance ?C Clock)) (instance ?Q TimeMeasure)) |
Mid-level-ontology.kif 2858-2864 | |
| (=> (and (wears ?P ?C) (located ?C ?W) (instance ?C Clock) (instance ?W Wrist) (part ?W ?P)) (instance ?C WatchClock)) |
Mid-level-ontology.kif 2869-2876 |
|
|
|