No TPTP formula. May not be expressible in strict first order. |
engineering.kif 587-587 |
子類 fourpole and 多極 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 478-478 |
子類 雙極 and 多極 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39195-39195 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39194-39194 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39193-39193 |
|