No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 627-627 | IPhone is a subclass of mobile cell phone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 628-628 | IPhone is a subclass of Apple Computer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 642-642 | Apple iPhone is a subclass of iPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 643-643 | Apple iPhone is a subclass of iPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 644-644 | Apple iPhone is a subclass of iPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 645-645 | Apple iPhone is a subclass of iPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 646-646 | Apple iPhone is a subclass of iPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 647-647 | Apple iPhone is a subclass of iPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 648-648 | Apple iPhone is a subclass of iPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 649-649 | Apple iPhone is a subclass of iPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 650-650 | Apple iPhone is a subclass of iPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 651-651 | Apple iPhone is a subclass of iPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 652-652 | Apple iPhone is a subclass of iPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 653-653 | Apple iPhone is a subclass of iPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 654-654 | Apple iPhone is a subclass of iPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 655-655 | Apple iPhone is a subclass of iPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 656-656 | Apple iPhone is a subclass of iPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 657-657 | Apple iPhone is a subclass of iPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 658-658 | Apple iPhone is a subclass of iPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 659-659 | Apple iPhone is a subclass of iPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 660-660 | Apple iPhone is a subclass of iPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 661-661 | Apple iPhone is a subclass of iPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 662-662 | Apple iPhone is a subclass of iPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 663-663 | Apple iPhone is a subclass of iPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 664-664 | Apple iPhone is a subclass of iPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 665-665 | Apple iPhone is a subclass of iPhone |