No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 101-101 | AppleComputer est une sous-classe de Computer |
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. | 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 745-745 | AppleIMac 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 771-771 | AppleMacBookPro 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 801-801 | AppleMacBook 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 |
![]() |