No TPTP formula. May not be expressible in strict first order. | Cars.kif 4480-4480 | UnpoweredDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4471-4471 | HandTool e' uma sub-classe de UnpoweredDevice |