Modeling - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Modeling EnglishLanguage "A creative process of creating a model.")	engineering.kif 106-106
(lexicon Modeling LexNoun "modeling")	engineering.kif 107-107
(lexicon Modeling LexNoun "modelling")	engineering.kif 108-108
(lexicon Modeling LexVerb "model")	engineering.kif 109-109
(subclass Modeling IntentionalProcess)	engineering.kif 110-110	Modeling is a subclass of intentional process

appearance as argument number 2

(termFormat EnglishLanguage Modeling "modeling")	domainEnglishFormat.kif 38213-38213
(termFormat ChineseTraditionalLanguage Modeling "造型")	domainEnglishFormat.kif 38214-38214
(termFormat ChineseLanguage Modeling "造型")	domainEnglishFormat.kif 38215-38215
(subclass MultipoleModeling Modeling)	engineering.kif 352-352	Multipole modeling is a subclass of modeling

antecedent

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

If X is an instance of modeling, then there exists Y such that Y is an instance of model and Y is a result of X