No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3102-3102 | Mailer is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3094-3094 | GMail is a subclass of mailer |