more pictures...| EntertainmentProfession(entertainment profession)
more pictures... |
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15456-15458 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9197-9197 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8475-8475 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9198-9198 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9201-9201 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9199-9199 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15455-15455 | 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 15343-15343 | Actor is an instance of entertainment profession |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15370-15370 | Artist is an instance of entertainment profession |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15330-15330 | Comedian is an instance of entertainment profession |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1864-1864 | MusicalConductor is an instance of entertainment profession |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15384-15384 | Performer is an instance of entertainment profession |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17080-17080 | Film making profession is a subclass of entertainment profession |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17056-17056 | Theater profession is a subclass of entertainment profession |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22203-22203 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22202-22202 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22201-22201 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15460-15466 |
|
|
|
|