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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Model

Sigma KEE - Model
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 is a subclass of proposition

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


(subclass MathematicalModel Model) engineering.kif 242-242 Mathematical model is a subclass of model
(subclass Multipole Model) engineering.kif 315-315 Multipole is a subclass of model
(subclass MultipoleModel Model) engineering.kif 341-341 Multipole model is a subclass of model
(subclass MultipolePole Model) engineering.kif 389-389 Multipole pole is a subclass of model
(subclass MultipoleSection Model) engineering.kif 433-433 Multipole section is a subclass of 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 The number 1 argument of models is an instance of 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