| Performer | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18874-18875 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18872-18872 | Performer est une instance de EntertainmentProfession |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18873-18873 | Performer est un sous-attribut de Artist |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18835-18835 | Actor est un sous-attribut de Performer |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65306-65306 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18877-18882 |
|
|
|
|