| WritingDevice(writing device)
| | Biro, Magic_Marker, ballpen, ballpoint, ballpoint_pen, felt-tip_pen, felt-tipped_pen, felt_tip, fountain_pen, pen, quill, quill_pen, writing_implement |
| appearance as argument number 1 |
|
|
| (documentation WritingDevice EnglishLanguage "A Device whose purpose is to be an instrument of Writing, e.g. pens, pencils, crayons, etc.") | Mid-level-ontology.kif 2064-2065 | |
| (externalImage WritingDevice "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3f/ Three_pens_six_nibs.jpg") | pictureList.kif 145-145 | |
| (subclass WritingDevice Device) | Mid-level-ontology.kif 2063-2063 | Writing device is a subclass of device |
| appearance as argument number 2 |
|
|
| (subclass Pencil WritingDevice) | Mid-level-ontology.kif 1889-1889 | Pencil is a subclass of writing device |
| (termFormat ChineseLanguage WritingDevice "写作设备") | domainEnglishFormat.kif 63590-63590 | Pencil is a subclass of writing device |
| (termFormat ChineseTraditionalLanguage WritingDevice "寫作設備") | domainEnglishFormat.kif 63589-63589 | Pencil is a subclass of writing device |
| (termFormat EnglishLanguage WritingDevice "writing device") | domainEnglishFormat.kif 63588-63588 | Pencil is a subclass of writing device |
| antecedent |
|
|
| (=> (instance ?D WritingDevice) (hasPurpose ?D (exists (?W) (and (instance ?W Writing) (instrument ?W ?D))))) |
Mid-level-ontology.kif 2067-2073 |
|
|
|
|