|
|
   MultipoleSection
|
|
|
| appearance as argument number 1 |
|
|
| (documentation MultipoleSection EnglishLanguage "A set of poles that is subject to the postulate of continuity. A multipole may consist of one or more sections. Sections of a single multipole do not overlap and cover all its poles.") | engineering.kif 426-429 | |
| (lexicon MultipoleSection LexNoun "multipole section") | engineering.kif 430-430 | |
| (lexicon MultipoleSection LexNoun "section") | engineering.kif 431-431 | |
| (lexicon MultipoleSection LexNoun "{section of} multipole") | engineering.kif 432-432 | |
| (subclass MultipoleSection Model) | engineering.kif 433-433 | MultipoleSection est une sous-classe de Model |
| appearance as argument number 2 |
|
|
| (subclass MultipolePort MultipoleSection) | engineering.kif 456-456 | MultipolePort est une sous-classe de MultipoleSection |
| (termFormat ChineseLanguage MultipoleSection "多极部分") | domainEnglishFormat.kif 39251-39251 | |
| (termFormat ChineseTraditionalLanguage MultipoleSection "多極部分") | domainEnglishFormat.kif 39250-39250 | |
| (termFormat EnglishLanguage MultipoleSection "multipole section") | domainEnglishFormat.kif 39249-39249 |
| antecedent |
|
|
| (=> (instance ?SECTION MultipoleSection) (exists (?POLE1 ?POLE2) (and (instance ?POLE1 MultipolePole) (instance ?POLE2 MultipolePole) (abstractPart ?POLE1 ?SECTION) (abstractPart ?POLE2 ?SECTION) (not (equal ?POLE1 ?POLE2))))) |
engineering.kif 444-452 |
|
| consequent |
|
|
|
|
|