![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3721-3724 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3719-3719 | Seat belt is a subclass of vehicle safety device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3726-3726 | A automobile typically has a part seat belt |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3720-3720 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3728-3734 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3736-3765 |
|
![]() |
![]() |