|
|
   Balloon
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3571-3572 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3569-3569 | Balloon est une sous-classe de FluidContainer |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3610-3610 | AutoAirbag est une sous-classe de Balloon |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3570-3570 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3574-3576 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3578-3584 |
|
|
|