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

Formal Language: 



KB Term:  Term intersection
English Word: 

  models

 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 域 楷模, 1 and 模型
(domainSubclass models 2 EngineeringComponent) engineering.kif 64-64 域子類 楷模, 2 and EngineeringComponent
(instance models AsymmetricRelation) engineering.kif 62-62 例 楷模 and AsymmetricRelation
(instance models BinaryPredicate) engineering.kif 61-61 例 楷模 and BinaryPredicate

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

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