No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2932-2932 | SendingEmail est une sous-classe de Emailing |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2939-2939 | ForwardingEmail est une sous-classe de SendingEmail |
![]() |