No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 101-101 | AppleComputer e' uma sub-classe de Computer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 105-105 | AppleMacintoshComputer e' uma sub-classe de AppleComputer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 613-613 | AppleIPad e' uma sub-classe de AppleComputer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 628-628 | AppleIPhone e' uma sub-classe de AppleComputer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 745-745 | AppleIMac e' uma sub-classe de AppleComputer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 757-757 | AppleMacPro e' uma sub-classe de AppleComputer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 771-771 | AppleMacBookPro e' uma sub-classe de AppleComputer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 786-786 | AppleMacBookAir e' uma sub-classe de AppleComputer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 801-801 | AppleMacBook e' uma sub-classe de AppleComputer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 816-816 | AppleIPod e' uma sub-classe de AppleComputer |