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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Model

Sigma KEE - Model
Model

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


(documentation Model EnglishLanguage "An abstract object that models certain aspect of a physical object, is subject to abstraction and idealization.") engineering.kif 67-68
(subclass Model Proposition) engineering.kif 69-69 Model est une sous-classe de proposition

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


(subclass MathematicalModel Model) engineering.kif 242-242 MathematicalModel est une sous-classe de Model
(subclass Multipole Model) engineering.kif 315-315 Multipole est une sous-classe de Model
(subclass MultipoleModel Model) engineering.kif 341-341 MultipoleModel est une sous-classe de Model
(subclass MultipolePole Model) engineering.kif 389-389 MultipolePole est une sous-classe de Model
(subclass MultipoleSection Model) engineering.kif 433-433 MultipoleSection est une sous-classe de Model
(termFormat ChineseLanguage Model "模型") domainEnglishFormat.kif 38205-38205
(termFormat ChineseTraditionalLanguage Model "模型") domainEnglishFormat.kif 38204-38204
(termFormat EnglishLanguage Model "model") domainEnglishFormat.kif 38203-38203

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


(domain models 1 Model) engineering.kif 63-63 Le nombre 1 argument de models est une instance de Model

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


(=>
    (instance ?MODELING Modeling)
    (exists (?MODEL)
        (and
            (instance ?MODEL Model)
            (result ?MODELING ?MODEL))))
engineering.kif 115-119


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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