Realign ServicePack under Package; align Package with gUFO ConcreteIn…

…dividual

Thanks to @sbarnum for discussion leading to ServicePack's motion.

Thanks to @plbt5 for discussion leading to the FunctionalComplex
alignment.

No effects were observed on Make-managed files.

References:
* ucoProject/UCO#596 (comment)

Signed-off-by: Alex Nelson <[email protected]>

ontology/uco-gufo.ttl

@@ -163,10 +163,21 @@ drafting:LinuxThread
 
 drafting:Package
 	a
-		gufo:Kind ,
+		gufo:Category ,
 		owl:Class
 		;
-	rdfs:subClassOf uco-observable:Software ;
+	rdfs:subClassOf
+		gufo:FunctionalComplex ,
+		uco-observable:Software ,
+		[
+			a owl:Restriction ;
+			owl:onProperty [
+				owl:inverse gufo:isComponentOf ;
+			] ;
+			owl:onClass drafting:SoftwareBuild ;
+			owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
+		]
+		;
 	rdfs:isDefinedBy <https://github.com/ucoProject/UCO/issues/596> ;
 	.
 
@@ -217,10 +228,7 @@ drafting:ServicePack
 		gufo:Kind ,
 		owl:Class
 		;
-	rdfs:subClassOf
-		gufo:FunctionalComplex ,
-		uco-observable:Software
-		;
+	rdfs:subClassOf drafting:Package ;
 	rdfs:isDefinedBy <https://github.com/ucoProject/UCO/issues/596> ;
 	owl:disjointWith
 		drafting:BuildUtility ,
@@ -606,6 +614,14 @@ uco-types:Hash
 	rdfs:subClassOf gufo:AbstractIndividual ;
 	.
 
+[]
+	a owl:Axiom ;
+	rdfs:comment "Mereologically, Package is comprised of multiple parts, including the distribution resource (/payload)."@en ;
+	owl:annotatedObject gufo:FunctionalComplex ;
+	owl:annotatedProperty rdfs:subClassOf ;
+	owl:annotatedSubject drafting:Package ;
+	.
+
 []
 	a owl:Axiom ;
 	rdfs:comment