![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3355-3357 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3354-3354 | AirTransportationService est une sous-classe de TransportationService |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3358-3358 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3359-3366 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3188-3198 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3304-3310 |
![]() |
![]() |