ValetParking(valet parking) | ![]() | valet_parking |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 148-149 | |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 147-147 | Valet parking is a subclass of service |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 150-150 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 157-176 |
|
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 178-186 |
|
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 152-155 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 157-176 |
|
![]() |
![]() |