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 | 子類 多極部分 and 模型 |
appearance as argument number 2 |
(subclass MultipolePort MultipoleSection) | engineering.kif 456-456 | 子類 多極港 and 多極部分 |
(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 |
(=> (and (instance ?POLE MultipolePole) (abstractPart ?POLE ?MULTIPOLE)) (exists (?SECTION) (and (instance ?SECTION MultipoleSection) (abstractPart ?POLE ?SECTION) (abstractPart ?SECTION ?MULTIPOLE)))) |
engineering.kif 391-399 | |
(=> (instance ?MULTIPOLE Multipole) (exists (?SECTION) (and (instance ?SECTION MultipoleSection) (abstractPart ?SECTION ?MULTIPOLE)))) |
engineering.kif 436-441 | |
(=> (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 480-492 |