No TPTP formula. May not be expressible in strict first order. | Merge.kif 14772-14772 | Cloud est une sous-classe de GasMixture |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14780-14780 | Smoke est une sous-classe de Cloud |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14791-14791 | WaterCloud est une sous-classe de Cloud |
![]() |