MultipolePole - Sigma Knowledge base Browser

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

appearance as argument number 2

(termFormat ChineseLanguage MultipolePole "多极杆")	domainEnglishFormat.kif 39255-39255
(termFormat ChineseTraditionalLanguage MultipolePole "多極桿")	domainEnglishFormat.kif 39254-39254
(termFormat EnglishLanguage MultipolePole "multipole pole")	domainEnglishFormat.kif 39253-39253

appearance as argument number 3

(domain hasAcrossVariable 1 MultipolePole)	engineering.kif 404-404	The number 1 argument of has across variable is an instance of multipole pole
(domain hasThroughVariable 1 MultipolePole)	engineering.kif 411-411	The number 1 argument of has through variable is an instance of multipole pole

antecedent

(=>
    (and
        (instance ?POLE MultipolePole)
        (abstractPart ?POLE ?MULTIPOLE))
    (exists (?SECTION)
        (and
            (instance ?SECTION MultipoleSection)
            (abstractPart ?POLE ?SECTION)
            (abstractPart ?SECTION ?MULTIPOLE))))

engineering.kif 390-398

If an abstract is an instance of multipole pole and the abstract is a part of another abstract,
then there exists a third abstract such that the third abstract is an instance of multipole section and the abstract is a part of the third abstract and the third abstract is a part of the other abstract

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 460-472	If an abstract is an instance of multipole port, then there don't exist another abstract, a third abstract and a fourth abstract such that the other abstract is an instance of multipole pole and the third abstract is an instance of multipole pole and the fourth abstract is an instance of multipole pole and the other abstract is a part of the abstract and the third abstract is a part of the abstract and the fourth abstract is a part of the abstract and the other abstract is not equal to the third abstract and the third abstract is not equal to the fourth abstract and the other abstract is not equal to the fourth abstract
(=> (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 443-451	If an abstract is an instance of multipole section, then there exist another abstract and a third abstract such that the other abstract is an instance of multipole pole and the third abstract is an instance of multipole pole and the other abstract is a part of the abstract and the third abstract is a part of the abstract and the other abstract is not equal to the third abstract

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

KB Term:			Term intersection

English Word: