TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Modeling EnglishLanguage "A creative process of creating a model.")	engineering.kif 117-117
(lexicon Modeling LexNoun "modeling")	engineering.kif 118-118
(lexicon Modeling LexNoun "modelling")	engineering.kif 119-119
(lexicon Modeling LexVerb "model")	engineering.kif 120-120
(subclass Modeling IntentionalProcess)	engineering.kif 121-121	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 363-363	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