| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11220-11220 | Liquid motion is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17524-17524 | Dripping is a subclass of liquid motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17528-17528 | Stirring is a subclass of liquid motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17533-17533 | Pouring is a subclass of liquid motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17551-17551 | Water wave is a subclass of liquid motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17580-17580 | Flooding is a subclass of liquid motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17602-17602 | Spraying is a subclass of liquid motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21378-21378 | Bleeding is a subclass of liquid motion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11232-11232 | Water motion is a subclass of liquid motion |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 484-484 | Blood circulation is a subclass of liquid motion |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 651-651 | Coffee making is a subclass of liquid motion |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1480-1480 | Sweating is a subclass of liquid motion |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1600-1600 | Weeping is a subclass of liquid motion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1512-1512 | Bleeding air is a subclass of liquid motion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1735-1735 | Cavitating is a subclass of liquid motion |
|
|