No TPTP formula. May not be expressible in strict first order. | engineering.kif 638-638 | 子類 機械過程 and 自然過程 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 646-646 | 子類 摩擦 and 機械過程 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 655-655 | 子類 機械共振 and 機械過程 |