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

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


(subclass MultipolePort MultipoleSection) engineering.kif 456-456 Multipole port is a subclass of multipole section
(termFormat ChineseLanguage MultipoleSection "多极部分") domainEnglishFormat.kif 39249-39249
(termFormat ChineseTraditionalLanguage MultipoleSection "多極部分") domainEnglishFormat.kif 39248-39248
(termFormat EnglishLanguage MultipoleSection "multipole section") domainEnglishFormat.kif 39247-39247

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


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