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 4721-4721 | SeagullOutboard e' uma sub-classe de TwoStrokeEngine |