No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3102-3102 | EmailProgram est une sous-classe de programme d'ordinateur |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3094-3094 | GMail est une sous-classe de EmailProgram |
![]() |