No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15846-15846 | Performance est une sous-classe de Demonstrating |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15866-15866 | PerformanceAct est une sous-classe de Performance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15928-15928 | MusicalPerformance est une sous-classe de Performance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15952-15952 | DramaticPerformance est une sous-classe de Performance |