|
|
   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 | AirTransportationService 是 TransportationService 的 subclass |
| 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 |
|
|
|