| PaintingDevice | |
| appearance as argument number 1 |
|
|
| (documentation PaintingDevice EnglishLanguage "A Device used as an instrument for Painting. Paintbrushes, rollers or sprayers can belong into this class.") | Mid-level-ontology.kif 3789-3789 | |
| (subclass PaintingDevice Device) | Mid-level-ontology.kif 3788-3788 | subclass PaintingDevice and Device |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PaintingDevice "绘画装置") | domainEnglishFormat.kif 43939-43939 | |
| (termFormat ChineseTraditionalLanguage PaintingDevice "繪畫裝置") | domainEnglishFormat.kif 43938-43938 | |
| (termFormat EnglishLanguage PaintingDevice "painting device") | domainEnglishFormat.kif 43937-43937 |
| antecedent |
|
|
| (=> (instance ?PD PaintingDevice) (exists (?PAINT) (and (instance ?PAINT Painting) (capability ?PAINT instrument ?PD)))) |
Mid-level-ontology.kif 3791-3796 |
|
| (=> (instance ?PD PaintingDevice) (hasPurpose ?PD (exists (?STUFF ?COVER ?SURF ?OBJ) (and (instance ?STUFF Substance) (instance ?COVER Covering) (instance ?OBJ Object) (surface ?SURF ?OBJ) (agent ?COVER ?PD) (instrument ?COVER ?STUFF) (patient ?COVER ?SURF))))) |
Mid-level-ontology.kif 3797-3808 |
|
|
|