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 11153-11153 | |
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 11450-11450 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11455-11455 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11458-11458 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11453-11453 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10132-10132 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11449-11449 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11456-11456 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11452-11452 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11451-11451 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11454-11454 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11457-11457 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11151-11151 | Motion is a subclass of process |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5148-5148 | The range of flow is an instance of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11232-11232 | Body motion is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23143-23143 | Closing is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1966-1966 | Compressing is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11424-11424 | Direction change is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2192-2192 | 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 11382-11382 | Gas motion is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11327-11327 | Geological process is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6009-6009 | Irrigating is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11358-11358 | Liquid motion is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11203-11203 | Motion downward is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11197-11197 | Motion upward is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23136-23136 | Opening is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19158-19158 | Pulling is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19164-19164 | Pushing is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13799-13799 | Radiating is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19064-19064 | Reversing is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18992-18992 | Rotating is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18520-18520 | Stretching is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7132-7132 | 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 11117-11117 | The number 1 argument of moves is an instance of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11213-11213 | The number 1 argument of path is an instance of motion |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 316-316 | The number 2 argument of wind driven motion is an instance of motion |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |