No TPTP formula. May not be expressible in strict first order. |
engineering.kif 696-696 |
例 合規 and 物理屬性 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 674-674 |
例 電導率 and 物理屬性 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12631-12631 |
例 易燃的 and 物理屬性 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 684-684 |
例 電感 and 物理屬性 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 689-689 |
例 互感 and 物理屬性 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 680-680 |
例 抵抗力 and 物理屬性 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 693-693 |
例 剛性 and 物理屬性 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45722-45722 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45721-45721 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45720-45720 |
|