Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  MultipoleSection

Sigma KEE - MultipoleSection
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 423-426
(lexicon MultipoleSection LexNoun "multipole section") engineering.kif 427-427
(lexicon MultipoleSection LexNoun "section") engineering.kif 428-428
(lexicon MultipoleSection LexNoun "{section of} multipole") engineering.kif 429-429
(subclass MultipoleSection Model) engineering.kif 430-430

appearance as argument number 2
-------------------------


(subclass MultipolePort MultipoleSection) engineering.kif 453-453
(termFormat ChineseLanguage MultipoleSection "多极部分") domainEnglishFormat.kif 39145-39145
(termFormat ChineseTraditionalLanguage MultipoleSection "多極部分") domainEnglishFormat.kif 39144-39144
(termFormat EnglishLanguage MultipoleSection "multipole section") domainEnglishFormat.kif 39143-39143

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 441-449

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 433-438
(=>
    (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 477-489


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners