Motion
|
|
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 11015-11015 | |
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 11013-11013 | 子類 Motion and Process |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4894-4894 | 範圍 流 and Motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11094-11094 | 子類 BodyMotion and Motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21526-21526 | 子類 關閉 and Motion |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1982-1982 | 子類 Compressing and Motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11274-11274 | 子類 DirectionChange and Motion |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2208-2208 | 子類 EngineCranking and Motion |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 80-80 | 子類 EngineCycle and Motion |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 202-202 | 子類 FourStrokeCombustion and Motion |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 186-186 | 子類 FourStrokeCompression and Motion |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 219-219 | 子類 FourStrokeExhaust and Motion |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 166-166 | 子類 FourStrokeIntake and Motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11244-11244 | 子類 氣體運動 and Motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11189-11189 | 子類 地質過程 and Motion |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5706-5706 | 子類 灌溉 and Motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11220-11220 | 子類 液體運動 and Motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11065-11065 | 子類 向下運動 and Motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11059-11059 | 子類 向上運動 and Motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21519-21519 | 子類 開盤 and Motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17607-17607 | 子類 拉 and Motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17613-17613 | 子類 Pushing and Motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13645-13645 | 子類 Radiating and Motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17513-17513 | 子類 逆 and Motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17441-17441 | 子類 旋轉 and Motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17133-17133 | 子類 拉伸 and Motion |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6795-6795 | 子類 蜂擁 and 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 10979-10979 | 域 移動, 1 and Motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11075-11075 | 域 路徑, 1 and Motion |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 328-328 | 域 windDrivenMotion, 2 and Motion |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1838-1856 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1817-1836 |
|
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 2730-2744 | |
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 11052-11057 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11036-11041 | |
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 11018-11023 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26159-26171 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2056-2060 | |
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 1838-1856 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1817-1836 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18150-18184 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30255-30266 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2130-2143 |
|
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 25283-25298 | |
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 1246-1263 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1304-1315 |