No TPTP formula. May not be expressible in strict first order. | Merge.kif 13072-13072 | Demonstrating is a subclass of disseminating |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7986-7986 | Religious service is a subclass of demonstrating |
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 15871-15871 | Lecture is a subclass of demonstrating |