TreeView Knowledge Base Browser - models

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - models

models

appearance as argument number 1

(documentation models EnglishLanguage "A relation signaling that certain model is convenient for modeling of certain class of devices.")	engineering.kif 59-60
(domain models 1 Model)	engineering.kif 63-63	models の数値 1 引数は Model の instance では %n
(domainSubclass models 2 EngineeringComponent)	engineering.kif 64-64	models の数値 2 引数はエンジニアリング部品のsubclass では %n
(instance models AsymmetricRelation)	engineering.kif 62-62	models は非対称関係の instance では %n
(instance models BinaryPredicate)	engineering.kif 61-61	models は 2進述語の instance では %n

appearance as argument number 2

(format EnglishLanguage models "%1 can be used as a model for %2")	engineering.kif 65-65
(termFormat ChineseLanguage models "楷模")	domainEnglishFormat.kif 38223-38223
(termFormat ChineseTraditionalLanguage models "楷模")	domainEnglishFormat.kif 38222-38222
(termFormat EnglishLanguage models "models")	domainEnglishFormat.kif 38221-38221

appearance as argument number 0

(models Gyrator FluidCylinder)	engineering.kif 908-908	models Gyrator and FluidCylinder
(models Transformer Motor)	engineering.kif 743-743	models Transformer and Motor

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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