No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 103-103 |
The maker of Apple Computer is Apple |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 972-972 |
The maker of System Management Controller is Apple |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4975-4975 |
The maker of Chevrolet automobile is General Motors |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4516-4516 |
The maker of commodore automobile is Holden Corporation |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4522-4522 |
The maker of Commodore wheel is Holden Corporation |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5128-5128 |
The maker of Corvette is General Motors |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5173-5173 |
The maker of Cosworth engine is Cosworth Corporation |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4463-4463 |
The maker of Fitbit is Fitbit |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4922-4922 |
The maker of Ford car is Ford |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5124-5124 |
The maker of ls1 engine is General Motors |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4589-4589 |
The maker of knucklehead is Harley Davidson |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4693-4693 |
The maker of panhead is Harley Davidson |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4876-4876 |
The maker of Holden Torana is Holden Corporation |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5163-5163 |
The maker of Icon helmet is Icon Corporation |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4863-4863 |
The maker of mini cooper is British Motors |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4813-4813 |
The maker of Pedialyte is Abbott |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5021-5021 |
The maker of Peterbilt truck is Peterbilt |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5554-5554 |
The maker of Rinvoq is AbbVie |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4722-4722 |
The maker of Rover v8 is Rover group |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4746-4746 |
The maker of Seagull outboard is British Seagull corp |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4852-4852 |
The maker of Simmons wheel is Simmons corp |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4972-4972 |
The maker of Snap-On ratchet is Snap-on Tools |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3848-3848 |
The maker of Valvoline is motor oil |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2988-2988 |
The maker of Cetirizine is JohnsonAndJohnson |