No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2140-2146 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2132-2138 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2123-2130 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2148-2154 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2122-2122 |
ATandTCorp e' uma instancia de Empresa |