|
|
   AppleComputer
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1939-1939 | AppleComputer created Apple app store |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 96-96 | The maker of AppleComputer is Apple |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 94-94 | AppleComputer is a subclass of computer |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 713-713 | IMac is a subclass of AppleComputer |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 606-606 | IPad is a subclass of AppleComputer |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 621-621 | IPhone is a subclass of AppleComputer |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 784-784 | IPod is a subclass of AppleComputer |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 769-769 | Macbook is a subclass of AppleComputer |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 754-754 | Macbook Air is a subclass of AppleComputer |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 739-739 | Macbook Pro is a subclass of AppleComputer |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 725-725 | Mac Pro is a subclass of AppleComputer |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 98-98 | Mac is a subclass of AppleComputer |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2496-2498 |
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2061-2063 |
|
|
|
|