| 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 44034-44034 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44033-44033 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44032-44032 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 694-696 |
|
|
|