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 |
AT&T corp is an instance of corporation |