| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11242-11242 | LiquidMotion e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17523-17523 | Dripping e' uma sub-classe de LiquidMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17527-17527 | Stirring e' uma sub-classe de LiquidMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17532-17532 | Pouring e' uma sub-classe de LiquidMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17550-17550 | WaterWave e' uma sub-classe de LiquidMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17579-17579 | Flooding e' uma sub-classe de LiquidMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17601-17601 | Spraying e' uma sub-classe de LiquidMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21377-21377 | Bleeding e' uma sub-classe de LiquidMotion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11254-11254 | WaterMotion e' uma sub-classe de LiquidMotion |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 484-484 | BloodCirculation e' uma sub-classe de LiquidMotion |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 651-651 | CoffeeMaking e' uma sub-classe de LiquidMotion |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1480-1480 | Perspiring e' uma sub-classe de LiquidMotion |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1600-1600 | Weeping e' uma sub-classe de LiquidMotion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1512-1512 | BleedingAir e' uma sub-classe de LiquidMotion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1741-1741 | Cavitating e' uma sub-classe de LiquidMotion |
|
|