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 | 子類 多極桿 and 模型 |
appearance as argument number 2 |
(termFormat ChineseLanguage MultipolePole "多极杆") | domainEnglishFormat.kif 39225-39225 | |
(termFormat ChineseTraditionalLanguage MultipolePole "多極桿") | domainEnglishFormat.kif 39224-39224 | |
(termFormat EnglishLanguage MultipolePole "multipole pole") | domainEnglishFormat.kif 39223-39223 |
appearance as argument number 3 |
(domain hasAcrossVariable 1 MultipolePole) | engineering.kif 405-405 | 域 跨變量, 1 and 多極桿 |
(domain hasThroughVariable 1 MultipolePole) | engineering.kif 412-412 | 域 有通過變量, 1 and 多極桿 |
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 |
(=> (instance ?PORT MultipolePort) (not (exists (?POLE1 ?POLE2 ?POLE3) (and (instance ?POLE1 MultipolePole) (instance ?POLE2 MultipolePole) (instance ?POLE3 MultipolePole) (abstractPart ?POLE1 ?PORT) (abstractPart ?POLE2 ?PORT) (abstractPart ?POLE3 ?PORT) (not (equal ?POLE1 ?POLE2)) (not (equal ?POLE2 ?POLE3)) (not (equal ?POLE1 ?POLE3)))))) |
engineering.kif 461-473 | |
(=> (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 |