No TPTP formula. May not be expressible in strict first order. | Cars.kif 4344-4344 | OutboardEngine e' uma sub-classe de Engine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4743-4743 | SeagullOutboard e' uma sub-classe de OutboardEngine |
![]() |