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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MultipolePole
MultipolePole

appearance as argument number 1
-------------------------


(documentation MultipolePole EnglishLanguage "A part of multipole pole that models a single energetical interaction. If a pole belongs to a multipole, it also belongs to one of its sections.") engineering.kif 382-384
(lexicon MultipolePole LexNoun "multipole pole") engineering.kif 385-385
(lexicon MultipolePole LexNoun "pole") engineering.kif 386-386
(lexicon MultipolePole LexNoun "{pole of} multipole") engineering.kif 387-387
(subclass MultipolePole Model) engineering.kif 388-388

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


(termFormat ChineseLanguage MultipolePole "多极杆") domainEnglishFormat.kif 39121-39121
(termFormat ChineseTraditionalLanguage MultipolePole "多極桿") domainEnglishFormat.kif 39120-39120
(termFormat EnglishLanguage MultipolePole "multipole pole") domainEnglishFormat.kif 39119-39119

appearance as argument number 3
-------------------------


(domain hasAcrossVariable 1 MultipolePole) engineering.kif 403-403
(domain hasThroughVariable 1 MultipolePole) engineering.kif 409-409

antecedent
-------------------------


(=>
    (and
        (instance ?POLE MultipolePole)
        (abstractPart ?POLE ?MULTIPOLE))
    (exists (?SECTION)
        (and
            (instance ?SECTION MultipoleSection)
            (abstractPart ?POLE ?SECTION)
            (abstractPart ?SECTION ?MULTIPOLE))))
engineering.kif 390-398

consequent
-------------------------


(=>
    (instance ?PORT MultipolePort)
    (not
        (exists (?POLE1 ?POLE2 ?POLE3)
            (and
                (instance ?POLE1 MultipolePole)
                (instance ?POLE2 MultipolePole)
                (instance ?POLE3 MultipolePole)
                (abstractPart ?POLE1 ?PORT)
                (abstractPart ?POLE2 ?PORT)
                (abstractPart ?POLE3 ?PORT)
                (not
                    (equal ?POLE1 ?POLE2))
                (not
                    (equal ?POLE2 ?POLE3))
                (not
                    (equal ?POLE1 ?POLE3))))))
engineering.kif 458-470
(=>
    (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


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