subclassed models relatioship

ge-high-assurance · Oct 17, 2024 · 4d1fddc · 4d1fddc
1 parent e1ad337
commit 4d1fddc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/RACK-Ontology/ontology/MODEL.sadl b/RACK-Ontology/ontology/MODEL.sadl
@@ -23,3 +23,4 @@ import "http://arcos.rack/PROV-S".
 MODEL (note "A physical, mathematical, or otherwise logical representation of a system, entity, phenomenon, or process")
     is a type of ENTITY.
     models (note "The thing being modeled") describes MODEL with a single value of type THING.
+    models is a type of wasDerivedFrom.