No TPTP formula. May not be expressible in strict first order. | Geography.kif 7403-7403 | 悬浮颗粒 是 混合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7432-7432 | 粗悬浮颗粒 是 悬浮颗粒 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7461-7461 | 细悬浮颗粒 是 悬浮颗粒 的 subclass |