|
|
   MultipolePole
|
|
|
| appearance as argument number 1 |
|
|
| (documentation MultipolePole EnglishLanguage "A part of multipole pole that models a single energetical interaction. If a pole belongs to a multipole, it also belongs to one of its sections.") | engineering.kif 383-385 | |
| (lexicon MultipolePole LexNoun "multipole pole") | engineering.kif 386-386 | |
| (lexicon MultipolePole LexNoun "pole") | engineering.kif 387-387 | |
| (lexicon MultipolePole LexNoun "{pole of} multipole") | engineering.kif 388-388 | |
| (subclass MultipolePole Model) | engineering.kif 389-389 | MultipolePole est une sous-classe de Model |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MultipolePole "多极杆") | domainEnglishFormat.kif 39227-39227 | |
| (termFormat ChineseTraditionalLanguage MultipolePole "多極桿") | domainEnglishFormat.kif 39226-39226 | |
| (termFormat EnglishLanguage MultipolePole "multipole pole") | domainEnglishFormat.kif 39225-39225 |
| appearance as argument number 3 |
|
|
| (domain hasAcrossVariable 1 MultipolePole) | engineering.kif 405-405 | Le nombre 1 argument de hasAcrossVariable est une instance de MultipolePole |
| (domain hasThroughVariable 1 MultipolePole) | engineering.kif 412-412 | Le nombre 1 argument de hasThroughVariable est une instance de MultipolePole |
| antecedent |
|
|
| (=> (and (instance ?POLE MultipolePole) (abstractPart ?POLE ?MULTIPOLE)) (exists (?SECTION) (and (instance ?SECTION MultipoleSection) (abstractPart ?POLE ?SECTION) (abstractPart ?SECTION ?MULTIPOLE)))) |
engineering.kif 391-399 |
|
| consequent |
|
|
|
|
|