No TPTP formula. May not be expressible in strict first order. | Merge.kif 13118-13118 | 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 |
![]() |