No TPTP formula. May not be expressible in strict first order. |
engineering.kif 330-330 |
Dynamic multipole is an instance of multipole attribute |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 324-324 |
Independent multipole is an instance of multipole attribute |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 336-336 |
Linear multipole is an instance of multipole attribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39201-39201 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39200-39200 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39199-39199 |
|