OutboardEngine
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4322-4330 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4333-4333 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4321-4321 | 子類 OutboardEngine and 發動機 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4720-4720 | 子類 SeagullOutboard and OutboardEngine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4331-4331 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4332-4332 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4335-4342 |