![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2391-2394 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2389-2389 | ElectricTransmission 是 辐射电磁 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2388-2388 | ElectricTransmission 是 转移 的 subclass |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2403-2403 | Charging 是 ElectricTransmission 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2425-2425 | Discharging 是 ElectricTransmission 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 418-418 | Spark 是 ElectricTransmission 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2390-2390 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3163-3173 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2396-2401 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2508-2516 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3151-3161 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3175-3183 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31250-31259 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31292-31301 |
![]() |
![]() |