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 11222-11224 | |
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 11220-11220 | 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 21378-21378 | 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 1735-1735 | 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 17524-17524 | Dripping 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. | 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 17533-17533 | Pouring 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 17528-17528 | Stirring 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. | 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. | 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 11226-11230 |
|
consequent |