No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 612-612 | AppleIPad e' uma sub-classe de TabletComputer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 613-613 | AppleIPad e' uma sub-classe de AppleComputer |