No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 210-210 |
Apple mac oS system1 is a subclass of Mac OS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 211-211 |
Apple mac oS system2 is a subclass of Mac OS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 212-212 |
Apple mac oS system3 is a subclass of Mac OS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 213-213 |
Apple mac oS system4 is a subclass of Mac OS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 215-215 |
Apple mac oS system5 is a subclass of Mac OS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 222-222 |
Apple mac oS system6 is a subclass of Mac OS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 228-228 |
Apple mac oS system7 is a subclass of Mac OS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 238-238 |
Apple mac oS system8 is a subclass of Mac OS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 239-239 |
Apple mac oS system9 is a subclass of Mac OS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 253-253 |
Apple mac oSX is a subclass of Mac OS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 250-250 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 249-249 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 248-248 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 251-251 |
|