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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SatisfyingRequirements

Sigma KEE - SatisfyingRequirements
SatisfyingRequirements(滿足要求)

appearance as argument number 1
-------------------------


(documentation SatisfyingRequirements EnglishLanguage "SatisfyingRequirements covers cases of finding a solution that satisfies necessary conditions.") QoSontology.kif 2016-2017
(subclass SatisfyingRequirements ProcessTask) QoSontology.kif 2015-2015 子類 滿足要求 and 流程任務

appearance as argument number 2
-------------------------


(disjoint Optimization SatisfyingRequirements) QoSontology.kif 2008-2008 不相交的 優化 and 滿足要求
(termFormat ChineseLanguage SatisfyingRequirements "满足要求") domainEnglishFormat.kif 51309-51309
(termFormat ChineseTraditionalLanguage SatisfyingRequirements "滿足要求") domainEnglishFormat.kif 51308-51308
(termFormat EnglishLanguage SatisfyingRequirements "satisfying requirements") domainEnglishFormat.kif 51307-51307


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