Model - Sigma Knowledge base Browser

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 66-67
(subclass Model Proposition)	engineering.kif 68-68	Model is a subclass of proposition

appearance as argument number 2

(subclass MathematicalModel Model)	engineering.kif 241-241	Mathematical model is a subclass of model
(subclass Multipole Model)	engineering.kif 314-314	Multipole is a subclass of model
(subclass MultipoleModel Model)	engineering.kif 340-340	Multipole model is a subclass of model
(subclass MultipolePole Model)	engineering.kif 388-388	Multipole pole is a subclass of model
(subclass MultipoleSection Model)	engineering.kif 432-432	Multipole section is a subclass of model
(termFormat ChineseLanguage Model "模型")	domainEnglishFormat.kif 38216-38216	Multipole section is a subclass of model
(termFormat ChineseTraditionalLanguage Model "模型")	domainEnglishFormat.kif 38215-38215	Multipole section is a subclass of model
(termFormat EnglishLanguage Model "model")	domainEnglishFormat.kif 38214-38214	Multipole section is a subclass of model

appearance as argument number 3

(domain models 1 Model)

engineering.kif 62-62

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 114-118