| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 101-101 | AppleComputer 是 电脑 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 105-105 | 麦金塔计算机 是 AppleComputer 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 613-613 | IPad 是 AppleComputer 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 628-628 | IPhone 是 AppleComputer 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 745-745 | IMac 是 AppleComputer 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 757-757 | Mac Pro 是 AppleComputer 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 771-771 | Macbook Pro 是 AppleComputer 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 786-786 | Macbook Air 是 AppleComputer 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 801-801 | Macbook 是 AppleComputer 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 816-816 | IPod 是 AppleComputer 的 subclass |
|
|