No TPTP formula. May not be expressible in strict first order. | Merge.kif 11035-11035 | 运动 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3004-3004 | 旅 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17132-17132 | 拉伸 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17440-17440 | 旋转 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17512-17512 | 逆 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17606-17606 | 拉 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17612-17612 | Pushing 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21518-21518 | 开盘 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21525-21525 | 关闭 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11081-11081 | 向上运动 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11087-11087 | 向下运动 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11116-11116 | 身体运动 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11211-11211 | 地质过程 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11219-11219 | 天气过程 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11242-11242 | 液体运动 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11266-11266 | 气体运动 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11296-11296 | 方向改变 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11571-11571 | 易位 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13667-13667 | 辐射 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5706-5706 | 灌溉 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6795-6795 | 蜂拥 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 80-80 | EngineCycle 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 166-166 | FourStrokeIntake 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 186-186 | FourStrokeCompression 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 202-202 | FourStrokeCombustion 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 219-219 | FourStrokeExhaust 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 457-457 | TwoStrokeIntake 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 485-485 | TwoStrokeCompression 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 502-502 | TwoStrokeTransfer 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1988-1988 | Compressing 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2214-2214 | EngineCranking 是 运动 的 subclass |
![]() |