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 2122-2123
(subclass SatisfyingRequirements ProcessTask) QoSontology.kif 2121-2121 Satisfying requirements is a subclass of process task

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


(disjoint Optimization SatisfyingRequirements) QoSontology.kif 2114-2114 Optimization is disjoint from satisfying requirements
(termFormat ChineseLanguage SatisfyingRequirements "满足要求") domainEnglishFormat.kif 51342-51342 Optimization is disjoint from satisfying requirements
(termFormat ChineseTraditionalLanguage SatisfyingRequirements "滿足要求") domainEnglishFormat.kif 51341-51341 Optimization is disjoint from satisfying requirements
(termFormat EnglishLanguage SatisfyingRequirements "satisfying requirements") domainEnglishFormat.kif 51340-51340 Optimization is disjoint from satisfying requirements


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