|
|
   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 425-428 | |
| (lexicon MultipoleSection LexNoun "multipole section") | engineering.kif 429-429 | |
| (lexicon MultipoleSection LexNoun "section") | engineering.kif 430-430 | |
| (lexicon MultipoleSection LexNoun "{section of} multipole") | engineering.kif 431-431 | |
| (subclass MultipoleSection Model) | engineering.kif 432-432 |
| appearance as argument number 2 |
|
|
| (subclass MultipolePort MultipoleSection) | engineering.kif 455-455 | |
| (termFormat ChineseLanguage MultipoleSection "多极部分") | domainEnglishFormat.kif 39262-39262 | |
| (termFormat ChineseTraditionalLanguage MultipoleSection "多極部分") | domainEnglishFormat.kif 39261-39261 | |
| (termFormat EnglishLanguage MultipoleSection "multipole section") | domainEnglishFormat.kif 39260-39260 |
| 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 443-451 |
| consequent |
|
|
| (=> (and (instance ?POLE MultipolePole) (abstractPart ?POLE ?MULTIPOLE)) (exists (?SECTION) (and (instance ?SECTION MultipoleSection) (abstractPart ?POLE ?SECTION) (abstractPart ?SECTION ?MULTIPOLE)))) |
engineering.kif 390-398 | |
| (=> (instance ?MULTIPOLE Multipole) (exists (?SECTION) (and (instance ?SECTION MultipoleSection) (abstractPart ?SECTION ?MULTIPOLE)))) |
engineering.kif 435-440 | |
| (=> (instance ?TWOPOLE Twopole) (exists (?PORT) (and (instance ?PORT MultipolePort) (abstractPart ?PORT ?TWOPOLE) (not (exists (?SECTION) (and (instance ?SECTION MultipoleSection) (abstractPart ?SECTION ?TWOPOLE) (not (equal ?SECTION ?PORT)))))))) |
engineering.kif 479-491 |
|
|
|