No TPTP formula. May not be expressible in strict first order. |
engineering.kif 587-587 |
Fourpole is a subclass of multipole |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 478-478 |
Twopole is a subclass of 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 |
|