changes.mady.by.user Ranveersinha A.
Saved on Sept 21, 2023
changes.mady.by.user Agne P.
Saved on Jan 31, 2024
Ontology(<http://www.semanticweb.org/wmilnor/ontologies/2018/3/ClassNotationAnalysisRow138> Import(<http://nomagic.com/ConceptModeler/ConceptModelingSupportLibrary/>) Declaration(Class(:A)) Declaration(Class(:C)) Declaration(Class(:E)) ############################ # Classes ############################ # Class: :E (:E) EquivalentClasses(:E ObjectUnionOf(:A ObjectComplementOf(:C))) )
Related Pages