Painter
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 692-692 | |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 691-691 | Painter is an instance of artistic occupation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44036-44036 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44035-44035 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44034-44034 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 694-696 |