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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Modeling

appearance as argument number 1

(documentation Modeling EnglishLanguage "A creative process of creating a model.") engineering.kif 110-110
(lexicon Modeling LexNoun "modeling") engineering.kif 111-111
(lexicon Modeling LexNoun "modelling") engineering.kif 112-112
(lexicon Modeling LexVerb "model") engineering.kif 113-113
(subclass Modeling IntentionalProcess) engineering.kif 114-114

appearance as argument number 2

(subclass MultipoleModeling Modeling) engineering.kif 371-371
(termFormat ChineseLanguage Modeling "造型") domainEnglishFormat.kif 38223-38223
(termFormat ChineseTraditionalLanguage Modeling "造型") domainEnglishFormat.kif 38222-38222
(termFormat EnglishLanguage Modeling "modeling") domainEnglishFormat.kif 38221-38221


    (instance ?MODELING Modeling)
    (exists (?MODEL)
            (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