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. | Geography.kif 7543-7543 | Aerosal e' uma sub-classe de Colloid |