MultipoleSection - Sigma Knowledge base Browser

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 382-385
(lexicon MultipoleSection LexNoun "multipole section")	engineering.kif 386-386
(lexicon MultipoleSection LexNoun "section")	engineering.kif 387-387
(lexicon MultipoleSection LexNoun "{section of} multipole")	engineering.kif 388-388
(subclass MultipoleSection Model)	engineering.kif 389-389	Multipole section is a subclass of model

appearance as argument number 2

(termFormat EnglishLanguage MultipoleSection "multipole section")	domainEnglishFormat.kif 39253-39253
(termFormat ChineseTraditionalLanguage MultipoleSection "多極部分")	domainEnglishFormat.kif 39254-39254
(termFormat ChineseLanguage MultipoleSection "多极部分")	domainEnglishFormat.kif 39255-39255
(subclass MultipolePort MultipoleSection)	engineering.kif 412-412	Multipole port is a subclass of multipole section

antecedent

(=>
    (instance ?SECTION MultipoleSection)
    (exists (?POLE1 ?POLE2)
        (and
            (instance ?POLE1 MultipolePole)
            (instance ?POLE2 MultipolePole)
            (abstractPart ?POLE1 ?SECTION)
            (abstractPart ?POLE2 ?SECTION)
            (not
                (equal ?POLE1 ?POLE2)))))

If X is an instance of multipole section, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of multipole pole (3) Z is an instance of multipole pole (4) Y is a part of X (5) Z is a part of X (6) equal Y (7) Z

consequent

(=> (and (instance ?POLE MultipolePole) (abstractPart ?POLE ?MULTIPOLE)) (exists (?SECTION) (and (instance ?SECTION MultipoleSection) (abstractPart ?POLE ?SECTION) (abstractPart ?SECTION ?MULTIPOLE))))	engineering.kif 372-380	If X is an instance of multipole pole and X is a part of Y, then there exists Z such that Z is an instance of multipole section, X is a part of Z, and Z is a part of Y
(=> (instance ?MULTIPOLE Multipole) (exists (?SECTION) (and (instance ?SECTION MultipoleSection) (abstractPart ?SECTION ?MULTIPOLE))))	engineering.kif 392-397	If X is an instance of multipole, then there exists Y such that Y is an instance of multipole section and Y is a part of X
(=> (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 436-448	If X is an instance of twopole, then there exists Y such that Y is an instance of multipole port, Y is a part of X, there doesn't exist Z such that Z is an instance of multipole section, Z is a part of X, equal Z, and Y