No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 703-703 |
AppleIPhoneOS901 e' uma sub-classe de AppleIPhoneOS9 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 709-709 |
AppleIPhoneOS93 e' uma sub-classe de AppleIPhoneOS9 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 182-182 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 181-181 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 180-180 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 183-183 |
|