No TPTP formula. May not be expressible in strict first order. | Merge.kif 11220-11220 | 液体运动 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17524-17524 | 滴水 是 液体运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17528-17528 | 搅拌 是 液体运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17533-17533 | 浇注 是 液体运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17551-17551 | 水波 是 液体运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17580-17580 | 洪水 是 液体运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17602-17602 | 喷 是 液体运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21378-21378 | 流血的 是 液体运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11232-11232 | 水运动 是 液体运动 的 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 1735-1735 | Cavitating 是 液体运动 的 subclass |