No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2056-2056 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2057-2057 |
O argumento numero 1 de EmailDomainPartFn e' uma instancia de EmailAddress |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2055-2055 |
EmailDomainPartFn e' uma instancia de funcao Unaria |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2058-2058 |
O contra-dominio de EmailDomainPartFn e' uma instancia de InternetDomain |