| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14776-14776 | Suspension e' uma sub-classe de LiquidMixture |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14777-14777 | Suspension e' uma sub-classe de GasMixture |
|
|