No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18916-18916 | Entertainment profession is a subclass of skilled occupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20651-20651 | Theater profession is a subclass of entertainment profession |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20675-20675 | Film making profession is a subclass of entertainment profession |