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 367-368
(lexicon MultipoleModeling LexNoun "multipole modeling") engineering.kif 369-369
(lexicon MultipoleModeling LexNoun "multipole modelling") engineering.kif 370-370
(subclass MultipoleModeling Modeling) engineering.kif 371-371 Multipole modeling is a subclass of modeling

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


(termFormat ChineseLanguage MultipoleModeling "多极建模") domainEnglishFormat.kif 39257-39257
(termFormat ChineseTraditionalLanguage MultipoleModeling "多極建模") domainEnglishFormat.kif 39256-39256
(termFormat EnglishLanguage MultipoleModeling "multipole modeling") domainEnglishFormat.kif 39255-39255

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


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


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