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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 模型命题subclass

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


(subclass MathematicalModel Model) engineering.kif 242-242 数学模型模型subclass
(subclass Multipole Model) engineering.kif 315-315 多极模型subclass
(subclass MultipoleModel Model) engineering.kif 341-341 多极模型模型subclass
(subclass MultipolePole Model) engineering.kif 389-389 多极杆模型subclass
(subclass MultipoleSection Model) engineering.kif 433-433 多极部分模型subclass
(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 楷模 的 1 数量 是 模型instance

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


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


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