No TPTP formula. May not be expressible in strict first order. | Cars.kif 418-418 | Spark est une sous-classe de ElectricTransmission |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 422-422 | Lightning est une sous-classe de Spark |
![]() |