MultipolePort(multipole port) |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 453-454 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 456-456 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 457-457 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 458-458 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 455-455 | Multipole port is a subclass of multipole section |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39244-39244 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39243-39243 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39242-39242 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 460-472 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 479-491 |
|
![]() |
![]() |