No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 703-703 |
Apple i phone oS901 is a subclass of IOS 9 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 709-709 |
Apple i phone oS93 is a subclass of IOS 9 |
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 |
|