No TPTP formula. May not be expressible in strict first order. | Merge.kif 13072-13072 | Demonstrating e' uma sub-classe de Disseminar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7986-7986 | ReligiousService e' uma sub-classe de Demonstrating |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15847-15847 | Performance e' uma sub-classe de Demonstrating |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15871-15871 | Lecture e' uma sub-classe de Demonstrating |