No TPTP formula. May not be expressible in strict first order. |
engineering.kif 696-696 |
合规 是 物理属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 674-674 |
电导率 是 物理属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12631-12631 |
易燃的 是 物理属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 684-684 |
电感 是 物理属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 689-689 |
互感 是 物理属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 680-680 |
抵抗力 是 物理属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 693-693 |
刚性 是 物理属性 的 instance |
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 |
|