No TPTP formula. May not be expressible in strict first order. | Merge.kif 13094-13094 | Demonstrating is a subclass of disseminating |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7985-7985 | Religious service is a subclass of demonstrating |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15846-15846 | Performance is a subclass of demonstrating |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15870-15870 | Lecture is a subclass of demonstrating |