LiquidMotion
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3021-3022 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11244-11246 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1786-1787 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11242-11242 | Liquid motion is a subclass of motion |
appearance as argument number 2 |
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. | Cars.kif 1512-1512 | Bleeding air 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. | Cars.kif 1741-1741 | Cavitating 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. | 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 17579-17579 | Flooding 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. | 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 17601-17601 | Spraying 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. | Merge.kif 11254-11254 | Water motion 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. | emotion.kif 1600-1600 | Weeping is a subclass of liquid motion |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34655-34655 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34654-34654 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34653-34653 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4925-4925 | The number 1 argument of flow region is an instance of liquid motion |
antecedent |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 939-952 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11248-11252 |
|
consequent |