AirTransportationService
|
|
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 | Air Transportation Service is a subclass of transportation service |
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 |
|