No TPTP formula. May not be expressible in strict first order. |
engineering.kif 587-587 |
Fourpole 是 多极 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 478-478 |
双极 是 多极 的 subclass |
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 |
|