| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 209-209 | Mac OS is a subclass of operating system |
| 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 |
|
|