No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2932-2932 | Sending email is a subclass of emailing |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2939-2939 | Forwarding email is a subclass of sending email |