No TPTP formula. May not be expressible in strict first order. | Cars.kif 2316-2316 | Drivebelt est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2711-2711 | FanBelt est une sous-classe de Drivebelt |
![]() |