No TPTP formula. May not be expressible in strict first order. |
engineering.kif 86-86 |
圆周角度速度 是 物理尺寸 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 95-95 |
当前 是 物理尺寸 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 108-108 |
无次元 是 物理尺寸 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 83-83 |
力 是 物理尺寸 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 77-77 |
长度 是 物理尺寸 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 104-104 |
功率 是 物理尺寸 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 98-98 |
压力 是 物理尺寸 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 89-89 |
扭矩 是 物理尺寸 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 80-80 |
速度 是 物理尺寸 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 92-92 |
电压 是 物理尺寸 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 101-101 |
体积流量 是 物理尺寸 的 instance |
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 |
|