No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15847-15847 | Performance is a subclass of demonstrating |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15867-15867 | Performance act is a subclass of performance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15929-15929 | Musical performance is a subclass of performance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15953-15953 | Dramatic performance is a subclass of performance |