No TPTP formula. May not be expressible in strict first order. | Merge.kif 14750-14750 | Cloud is a subclass of gas mixture |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14758-14758 | Smoke is a subclass of cloud |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14769-14769 | Water cloud is a subclass of cloud |