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 e' uma sub-classe de Engine |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4720-4720 | SeagullOutboard e' uma sub-classe de 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 |