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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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