No TPTP formula. May not be expressible in strict first order. | Geography.kif 7488-7488 | 液体滴 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2979-2979 | 雨点 是 液体滴 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7519-7519 | 小滴液体 是 液体滴 的 subclass |