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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - SatisfyingRequirements
SatisfyingRequirements(satisfying requirements)

appearance as argument number 1

(documentation SatisfyingRequirements EnglishLanguage "SatisfyingRequirements covers cases of finding a solution that satisfies necessary conditions.") QoSontology.kif 2021-2022
(subclass SatisfyingRequirements ProcessTask) QoSontology.kif 2020-2020 Satisfying requirements is a subclass of process task

appearance as argument number 2

(disjoint Optimization SatisfyingRequirements) QoSontology.kif 2013-2013 Optimization is disjoint from satisfying requirements
(termFormat ChineseLanguage SatisfyingRequirements "满足要求") domainEnglishFormat.kif 51292-51292
(termFormat ChineseTraditionalLanguage SatisfyingRequirements "滿足要求") domainEnglishFormat.kif 51291-51291
(termFormat EnglishLanguage SatisfyingRequirements "satisfying requirements") domainEnglishFormat.kif 51290-51290

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