MultipoleModel - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MultipoleModel EnglishLanguage "Model of a physical system consisting of mutually interconnected multipoles.")	engineering.kif 330-331
(lexicon MultipoleModel LexNoun "multipole model")	engineering.kif 332-332
(subclass MultipoleModel Model)	engineering.kif 333-333	Multipole model is a subclass of model

appearance as argument number 2

(termFormat EnglishLanguage MultipoleModel "multipole model")	domainEnglishFormat.kif 39217-39217
(termFormat ChineseTraditionalLanguage MultipoleModel "多極模型")	domainEnglishFormat.kif 39218-39218
(termFormat ChineseLanguage MultipoleModel "多极模型")	domainEnglishFormat.kif 39219-39219
(subclass ElectricalMultipoleModel MultipoleModel)	engineering.kif 338-338	Electrical multipole model is a subclass of multipole model

consequent

(=>
    (instance ?MODELING MultipoleModeling)
    (exists (?MODEL)
        (and
            (instance ?MODEL MultipoleModel)
            (result ?MODELING ?MODEL))))

If X is an instance of multipole modeling, then there exists Y such that Y is an instance of multipole model and Y is a result of X