MultipoleSection
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 426-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 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 433-433 | 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 456-456 | Multipole port is a subclass of multipole section |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39249-39249 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39248-39248 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39247-39247 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 444-452 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 391-399 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 436-441 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 480-492 |
|