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 67-68
(subclass Model Proposition)	engineering.kif 69-69	Model ist eine teilkategorie von Proposition

appearance as argument number 2

(subclass MathematicalModel Model)	engineering.kif 242-242	MathematicalModel ist eine teilkategorie von Model
(subclass Multipole Model)	engineering.kif 315-315	Multipole ist eine teilkategorie von Model
(subclass MultipoleModel Model)	engineering.kif 341-341	MultipoleModel ist eine teilkategorie von Model
(subclass MultipolePole Model)	engineering.kif 389-389	MultipolePole ist eine teilkategorie von Model
(subclass MultipoleSection Model)	engineering.kif 433-433	MultipoleSection ist eine teilkategorie von 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

Die Zahl 1 Argument von models ist ein fall von Model %n{nicht}

consequent

(=>
    (instance ?MODELING Modeling)
    (exists (?MODEL)
        (and
            (instance ?MODEL Model)
            (result ?MODELING ?MODEL))))

engineering.kif 115-119

Wenn Process ist ein fall von Modeling %n{nicht},
dann es gibt Entity um ** Entity ist ein fall von Model %n{nicht} und ** Entity ist ein resultat von ** Process %n{nicht}