EntertainmentProfession(entertainment profession)![]() ![]() ![]() ![]() |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20488-20490 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9191-9191 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8471-8471 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9192-9192 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9195-9195 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9193-9193 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20487-20487 | Entertainment profession is a subclass of skilled occupation |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20375-20375 | Actor is an instance of entertainment profession |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20402-20402 | Artist is an instance of entertainment profession |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20362-20362 | Comedian is an instance of entertainment profession |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1864-1864 | Musical conductor is an instance of entertainment profession |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20416-20416 | Performer is an instance of entertainment profession |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22292-22292 | Film making profession is a subclass of entertainment profession |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22268-22268 | Theater profession is a subclass of entertainment profession |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22216-22216 | Theater profession is a subclass of entertainment profession |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22215-22215 | Theater profession is a subclass of entertainment profession |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22214-22214 | Theater profession is a subclass of entertainment profession |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20492-20498 |
|
![]() |
![]() |