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 11037-11037 | |
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 11457-11457 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11462-11462 | |
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 11460-11460 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10134-10134 | |
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 11463-11463 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11459-11459 | |
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 11461-11461 | |
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. | Merge.kif 11035-11035 | Motion is a subclass of process |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4894-4894 | The range of flow is an instance of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11116-11116 | Body motion is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21525-21525 | Closing is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1988-1988 | Compressing is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11296-11296 | Direction change is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2214-2214 | 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 11266-11266 | Gas motion is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11211-11211 | Geological process is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5706-5706 | Irrigating is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11242-11242 | Liquid motion is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11087-11087 | Motion downward is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11081-11081 | Motion upward is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21518-21518 | Opening is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17606-17606 | Pulling is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17612-17612 | Pushing is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13667-13667 | Radiating is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17512-17512 | Reversing is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17440-17440 | Rotating is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17132-17132 | Stretching is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6795-6795 | 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 11001-11001 | The number 1 argument of moves is an instance of motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11097-11097 | 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 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1844-1862 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1823-1842 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 777-792 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2736-2750 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 85-91 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 93-99 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1332-1355 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11074-11079 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11058-11063 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 801-807 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 813-819 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 826-832 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 777-783 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11040-11045 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26147-26159 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2052-2056 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3416-3426 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1844-1862 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1823-1842 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18149-18183 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30243-30254 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2126-2139 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2698-2714 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 548-564 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 71-76 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 280-289 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 57-65 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1381-1397 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25282-25297 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2603-2610 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1247-1264 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1305-1316 |
|