No TPTP formula. May not be expressible in strict first order. |
engineering.kif 330-330 |
DynamicMultipole est une instance de MultipoleAttribute |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 324-324 |
IndependentMultipole est une instance de MultipoleAttribute |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 336-336 |
LinearMultipole est une instance de MultipoleAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39203-39203 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39202-39202 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39201-39201 |
|