FordCorporation
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4903-4904 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4901-4901 | Ford is an instance of corporation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4899-4899 | The maker of Ford car is Ford |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4902-4902 |