No TPTP formula. May not be expressible in strict first order. |
engineering.kif 587-587 |
Fourpole est une sous-classe de Multipole |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 478-478 |
Twopole est une sous-classe de Multipole |
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 |
|