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 10999-10999 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1757-1757 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11465-11465 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11470-11470 | |
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 11468-11468 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10136-10136 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11464-11464 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11471-11471 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11467-11467 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11466-11466 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11469-11469 | |
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. | Merge.kif 10997-10997 | Motion is a subclass of process |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4872-4872 | The range of flow is an instance of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11078-11078 | Body motion is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21475-21475 | 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 11244-11244 | 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 | Engine cycle 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 11228-11228 | Gas motion is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11173-11173 | Geological process is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5684-5684 | Irrigating is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11204-11204 | Liquid motion is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11049-11049 | Motion downward is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11043-11043 | Motion upward is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21468-21468 | Opening is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17579-17579 | Pulling is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17585-17585 | Pushing is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13615-13615 | Radiating is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17485-17485 | Reversing is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17413-17413 | Rotating is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17105-17105 | Stretching is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6773-6773 | 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 10963-10963 | The number 1 argument of moves is an instance of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11059-11059 | 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 |
![]() |
![]() |
![]() |