Drivebelt | ![]() |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2318-2319 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2316-2316 | Drivebelt 是 设备 的 subclass |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2711-2711 | FanBelt 是 Drivebelt 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2317-2317 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2321-2323 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2299-2314 |
|
![]() |
![]() |