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

KB Term:  Term intersection
English Word: 

Sigma KEE - SatisfyingRequirements
SatisfyingRequirements(satisfying requirements)

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


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

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


(disjoint Optimization SatisfyingRequirements) QoSontology.kif 2132-2132 Optimization is disjoint from satisfying requirements
(termFormat EnglishLanguage SatisfyingRequirements "satisfying requirements") domainEnglishFormat.kif 51304-51304 Optimization is disjoint from satisfying requirements
(termFormat ChineseTraditionalLanguage SatisfyingRequirements "滿足要求") domainEnglishFormat.kif 51305-51305 Optimization is disjoint from satisfying requirements
(termFormat ChineseLanguage SatisfyingRequirements "满足要求") domainEnglishFormat.kif 51306-51306 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners