| 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 est une instance de ArtisticOccupation |
| 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 |
|
|
|
|