No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 627-627 | AppleIPhone e' uma sub-classe de MobileCellPhone |
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 642-642 | AppleIPhone1 e' uma sub-classe de AppleIPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 643-643 | AppleIPhone3g e' uma sub-classe de AppleIPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 644-644 | AppleIPhone3GS e' uma sub-classe de AppleIPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 645-645 | AppleIPhone4 e' uma sub-classe de AppleIPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 646-646 | AppleIPhone4s e' uma sub-classe de AppleIPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 647-647 | AppleIPhone5 e' uma sub-classe de AppleIPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 648-648 | AppleIPhone5c e' uma sub-classe de AppleIPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 649-649 | AppleIPhone5s e' uma sub-classe de AppleIPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 650-650 | AppleIPhone6 e' uma sub-classe de AppleIPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 651-651 | AppleIPhone6plus e' uma sub-classe de AppleIPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 652-652 | AppleIPhone6s e' uma sub-classe de AppleIPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 653-653 | AppleIPhone6splus e' uma sub-classe de AppleIPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 654-654 | AppleIPhonese e' uma sub-classe de AppleIPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 655-655 | AppleIPhone7 e' uma sub-classe de AppleIPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 656-656 | AppleIPhone7plus e' uma sub-classe de AppleIPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 657-657 | AppleIPhone8 e' uma sub-classe de AppleIPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 658-658 | AppleIPhone8plus e' uma sub-classe de AppleIPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 659-659 | AppleIPhoneX e' uma sub-classe de AppleIPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 660-660 | AppleIPhoneXS e' uma sub-classe de AppleIPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 661-661 | AppleIPhoneXSmax e' uma sub-classe de AppleIPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 662-662 | AppleIPhoneXR e' uma sub-classe de AppleIPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 663-663 | AppleIPhone11 e' uma sub-classe de AppleIPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 664-664 | AppleIPhone11pro e' uma sub-classe de AppleIPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 665-665 | AppleIPhone11ProMax e' uma sub-classe de AppleIPhone |
![]() |