MultipoleSection(multipole section) |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 425-428 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 429-429 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 430-430 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 431-431 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 432-432 | Multipole section is a subclass of model |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 455-455 | Multipole port is a subclass of multipole section |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39262-39262 | Multipole port is a subclass of multipole section |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39261-39261 | Multipole port is a subclass of multipole section |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39260-39260 | Multipole port is a subclass of multipole section |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 443-451 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 390-398 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 435-440 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 479-491 |
|
![]() |
![]() |