No TPTP formula. May not be expressible in strict first order. |
engineering.kif 86-86 |
例 圓周角度速度 and 物理尺寸 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 95-95 |
例 當前 and 物理尺寸 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 108-108 |
例 無次元 and 物理尺寸 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 83-83 |
例 力 and 物理尺寸 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 77-77 |
例 長度 and 物理尺寸 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 104-104 |
例 功率 and 物理尺寸 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 98-98 |
例 壓力 and 物理尺寸 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 89-89 |
例 扭矩 and 物理尺寸 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 80-80 |
例 速度 and 物理尺寸 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 92-92 |
例 電壓 and 物理尺寸 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 101-101 |
例 體積流量 and 物理尺寸 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45726-45726 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45725-45725 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45724-45724 |
|