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 数量 是 模型instance
(domainSubclass models 2 EngineeringComponent) engineering.kif 64-64 楷模 的 2 数量 是 工程组件subclass
(instance models AsymmetricRelation) engineering.kif 62-62 楷模非对称关系instance
(instance models BinaryPredicate) engineering.kif 61-61 楷模二元谓语instance

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