add d3f:Condition

d3fend · Sep 17, 2024 · e5eb1d0 · e5eb1d0
1 parent 7983de9
commit e5eb1d0
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/ontology/d3fend-protege.ttl b/src/ontology/d3fend-protege.ttl
@@ -3637,6 +3637,13 @@ Wikipedia. (n.d.). Coefficient of variation. [Link](https://en.wikipedia.org/wik
     rdfs:isDefinedBy <https://www.encyclopedia.com/computing/dictionaries-thesauruses-pictures-and-press-releases/compute-server> ;
     :definition "A compute server is a system specifically designed to undertake large amounts of computation, usually but not necessarily in a client/server environment." .
 
+:Condition a owl:Class ;
+    rdfs:label "Condition" ;
+    rdfs:subClassOf :D3FENDCore ;
+    rdfs:comment "Less common usage versus state, meant to superclass precondition and postcondition." ;
+    rdfs:isDefinedBy "n-06768279" ;
+    :definition "An assumption on which rests the validity or effect of something else." .
+
 :ConferencePaper a owl:Class ;
     rdfs:label "Conference Paper" ;
     rdfs:subClassOf :AcademicArticle .