No TPTP formula. May not be expressible in strict first order. | Merge.kif 13142-13142 | Promover e' uma sub-classe de Disseminar |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 26-26 | WebListing e' uma sub-classe de Promover |