WatchClock - Sigma Knowledge base Browser

appearance as argument number 1

(subclass WatchClock Clock)	Mid-level-ontology.kif 3521-3521	Watch clock is a subclass of clock
(documentation WatchClock EnglishLanguage "A Clock that can be worn on the Wrist.")	Mid-level-ontology.kif 3522-3522	Watch clock is a subclass of clock
(externalImage WatchClock "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7c/ Pocket_watch_with_chain.jpg")	pictureList.kif 199-199	Watch clock is a subclass of clock

appearance as argument number 2

(termFormat EnglishLanguage WatchClock "watch clock")	domainEnglishFormat.kif 62326-62326
(termFormat ChineseTraditionalLanguage WatchClock "鐘錶")	domainEnglishFormat.kif 62327-62327
(termFormat ChineseLanguage WatchClock "钟表")	domainEnglishFormat.kif 62328-62328

consequent

(=>
    (and
        (wears ?P ?C)
        (located ?C ?W)
        (instance ?C Clock)
        (instance ?W Wrist)
        (part ?W ?P))
    (instance ?C WatchClock))

If X wears Y, Y is located at Z, Y is an instance of clock, Z is an instance of wrist, and Z is a part of X, then Y is an instance of watch clock