No TPTP formula. May not be expressible in strict first order. | Merge.kif 11242-11242 | 液体运动 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17523-17523 | 滴水 是 液体运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17527-17527 | 搅拌 是 液体运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17532-17532 | 浇注 是 液体运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17550-17550 | 水波 是 液体运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17579-17579 | 洪水 是 液体运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17601-17601 | 喷 是 液体运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21377-21377 | 流血的 是 液体运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11254-11254 | 水运动 是 液体运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 484-484 | BloodCirculation 是 液体运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 651-651 | CoffeeMaking 是 液体运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1480-1480 | Perspiring 是 液体运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1600-1600 | 泣 是 液体运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1512-1512 | BleedingAir 是 液体运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1741-1741 | Cavitating 是 液体运动 的 subclass |