|
|
   AppleIPhone
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 625-625 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 624-624 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 622-623 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 626-627 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 621-621 | IPhone is a subclass of AppleComputer |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 620-620 | IPhone is a subclass of mobile cell phone |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 86-86 | IPhone is capable of ComputerProcessing IOS |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3118-3118 | Instance of home button are always initially part of instances of iPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 635-635 | AppleIPhone1 is a subclass of iPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 656-656 | AppleIPhone11 is a subclass of iPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 658-658 | AppleIPhone11ProMax is a subclass of iPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 657-657 | AppleIPhone11pro is a subclass of iPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 637-637 | AppleIPhone3GS is a subclass of iPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 636-636 | AppleIPhone3g is a subclass of iPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 638-638 | AppleIPhone4 is a subclass of iPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 639-639 | AppleIPhone4s is a subclass of iPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 640-640 | AppleIPhone5 is a subclass of iPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 641-641 | AppleIPhone5c is a subclass of iPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 642-642 | AppleIPhone5s is a subclass of iPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 643-643 | AppleIPhone6 is a subclass of iPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 644-644 | AppleIPhone6plus is a subclass of iPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 645-645 | AppleIPhone6s is a subclass of iPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 646-646 | AppleIPhone6splus is a subclass of iPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 648-648 | AppleIPhone7 is a subclass of iPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 649-649 | AppleIPhone7plus is a subclass of iPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 650-650 | AppleIPhone8 is a subclass of iPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 651-651 | AppleIPhone8plus is a subclass of iPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 652-652 | AppleIPhoneX is a subclass of iPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 655-655 | AppleIPhoneXR is a subclass of iPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 653-653 | AppleIPhoneXS is a subclass of iPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 654-654 | AppleIPhoneXSmax is a subclass of iPhone |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2210-2214 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4226-4245 |
|
|
|
|