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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MultipoleSection
MultipoleSection(multipole section)

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 Multipole section is a subclass of model

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


(subclass MultipolePort MultipoleSection) engineering.kif 453-453 Multipole port is a subclass of multipole section
(termFormat ChineseLanguage MultipoleSection "多极部分") domainEnglishFormat.kif 39175-39175
(termFormat ChineseTraditionalLanguage MultipoleSection "多極部分") domainEnglishFormat.kif 39174-39174
(termFormat EnglishLanguage MultipoleSection "multipole section") domainEnglishFormat.kif 39173-39173

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 3.0 is open source software produced by Articulate Software and its partners