appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2997-2997 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10885-10885 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11473-11473 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11478-11478 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11481-11481 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11476-11476 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10144-10144 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11472-11472 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11479-11479 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11475-11475 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11474-11474 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11477-11477 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11480-11480 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10883-10883 | Motion is a subclass of process |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4792-4792 | The range of flow is an instance of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10964-10964 | Body motion is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20819-20819 | Closing is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1982-1982 | Compressing is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11129-11129 | Direction change is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2208-2208 | Engine cranking is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 80-80 | EngineCycle is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 202-202 | Four stroke combustion is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 186-186 | Four stroke compression is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 219-219 | Four stroke exhaust is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 166-166 | Four stroke intake is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11113-11113 | Gas motion is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11058-11058 | Geological process is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5603-5603 | Irrigating is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11089-11089 | Liquid motion is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10935-10935 | Motion downward is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10929-10929 | Motion upward is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20812-20812 | Opening is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17024-17024 | Pulling is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17030-17030 | Pushing is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13399-13399 | Radiating is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16930-16930 | Reversing is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16858-16858 | Rotating is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16552-16552 | Stretching is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6483-6483 | Swarming is a subclass of motion |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10849-10849 | The number 1 argument of moves is an instance of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10945-10945 | The number 1 argument of path is an instance of motion |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 328-328 | The number 2 argument of wind driven motion is an instance of motion |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |