| Draftsman(draftsman) | | cartoonist, draftsman, drawer, pavement_artist, sketcher |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 685-685 | |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 684-684 | Draftsman is an instance of artistic occupation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20304-20304 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20303-20303 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20302-20302 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 687-689 |
|
|
|