No TPTP formula. May not be expressible in strict first order. | Merge.kif 14329-14329 | 子類 Water and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2959-2959 | 子類 Rain and Water |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8975-8975 | 子類 冰 and Water |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25633-25633 | 子類 Steam and Water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2730-2730 | 子類 淡水 and Water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2743-2743 | 子類 地下水 and Water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2820-2820 | 子類 SeaWater and Water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2847-2847 | 子類 BrackishWater and Water |
No TPTP formula. May not be expressible in strict first order. | Food.kif 237-237 | 子類 PurifiedWater and Water |