No TPTP formula. May not be expressible in strict first order. | Geography.kif 2735-2735 | Greenhouse gas is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2736-2736 | Greenhouse gas is a subclass of gas |