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 | 画家 是 ArtisticOccupation 的 instance |
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 |