http://imce.jpl.nasa.gov/foundation/analysis#SatisfiedConstraint
Class analysis:SatisfiedConstraint

oml:type

oml:Concept

rdf:type

owl:Class

rdfs:subClassOf

	base:AggregatedElement
	base:IdentifiedElement
	analysis:Characterization
	analysis:Constraint
	analysis:Explanation
	analysis:SatisfiedConstraint

directHasRestrictionOn

	analysis:hasTruthValue → value of true^^http://www.w3.org/2001/XMLSchema#boolean
	analysis:hasTruthValue → value of true^^http://www.w3.org/2001/XMLSchema#boolean