No TPTP formula. May not be expressible in strict first order. | Merge.kif 11242-11242 | Liquid motion is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17523-17523 | Dripping is a subclass of liquid motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17527-17527 | Stirring is a subclass of liquid motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17532-17532 | Pouring is a subclass of liquid motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17550-17550 | Water wave is a subclass of liquid motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17579-17579 | Flooding is a subclass of liquid motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17601-17601 | Spraying is a subclass of liquid motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21377-21377 | Bleeding is a subclass of liquid motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11254-11254 | 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 1741-1741 | Cavitating is a subclass of liquid motion |
![]() |