No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 745-745 |
AppleIMac est une sous-classe de AppleComputer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 613-613 |
AppleIPad est une sous-classe de AppleComputer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 628-628 |
AppleIPhone est une sous-classe de AppleComputer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 816-816 |
AppleIPod est une sous-classe de AppleComputer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 801-801 |
AppleMacBook est une sous-classe de AppleComputer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 786-786 |
AppleMacBookAir est une sous-classe de AppleComputer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 771-771 |
AppleMacBookPro est une sous-classe de AppleComputer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 757-757 |
AppleMacPro est une sous-classe de AppleComputer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 105-105 |
AppleMacintoshComputer est une sous-classe de AppleComputer |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64455-64455 |
|