| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14758-14758 | GasMixture e' uma sub-classe de Mistura |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14753-14753 | Suspension e' uma sub-classe de GasMixture |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14772-14772 | Cloud e' uma sub-classe de GasMixture |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14817-14817 | Air e' uma sub-classe de GasMixture |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7542-7542 | Aerosal e' uma sub-classe de GasMixture |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 67-67 | FuelVapor e' uma sub-classe de GasMixture |
|
|