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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MultipoleModeling
MultipoleModeling(multipole modeling)

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


(documentation MultipoleModeling EnglishLanguage "modeling of a dynamic system by means of its representation by a multipole diagram.") engineering.kif 366-367
(lexicon MultipoleModeling LexNoun "multipole modeling") engineering.kif 368-368
(lexicon MultipoleModeling LexNoun "multipole modelling") engineering.kif 369-369
(subclass MultipoleModeling Modeling) engineering.kif 370-370 Multipole modeling is a subclass of modeling

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


(termFormat ChineseLanguage MultipoleModeling "多极建模") domainEnglishFormat.kif 39249-39249
(termFormat ChineseTraditionalLanguage MultipoleModeling "多極建模") domainEnglishFormat.kif 39248-39248
(termFormat EnglishLanguage MultipoleModeling "multipole modeling") domainEnglishFormat.kif 39247-39247

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


(=>
    (instance ?MODELING MultipoleModeling)
    (exists (?MODEL)
        (and
            (instance ?MODEL MultipoleModel)
            (result ?MODELING ?MODEL))))
engineering.kif 371-375


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