No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3094-3094 |
GMail is a subclass of mailer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3117-3117 |
GMail is a subclass of mailer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3112-3112 |
GMail is a subclass of mailer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3116-3116 |
GMail is a subclass of mailer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3111-3111 |
GMail is a subclass of mailer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3110-3110 |
GMail is a subclass of mailer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3115-3115 |
GMail is a subclass of mailer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3118-3118 |
GMail is a subclass of mailer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3113-3113 |
GMail is a subclass of mailer |