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

dc:description

A [=Constraint=] expresses a condition asserted to be true in some context.

rdfs:label

Constraint

oml:type

oml:Concept

rdf:type

owl:Class

rdfs:subClassOf

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

directSuperClassOf

	analysis:NominalPropertyValueConstraint
	analysis:QuantityValueConstraint
	analysis:SatisfiedConstraint
	analysis:UnsatisfiedConstraint

directDomainOf

	analysis:constrains → analysis:CharacterizedElement
	analysis:hasTruthValue → xsd:boolean