Class: axiom:Transformation

"Opérateurs; opérations; transformations." [lang: fr]

•owl:Thing
        •axiom:Metalogique
                •axiom:Transformation

Super Classes

axiom:Metalogique

Equivalent Classes (Necessary and Sufficient Conditions)

axiom:Plus OR axiom:Moins OR axiom:Egal OR axiom:EtatInitial

Abstract Syntax

Class(urn:oid:1.3.6.1.4.1.27630.3.1#Transformation complete annotation(http://www.w3.org/2000/01/rdf-schema#comment "Opérateurs; opérations; transformations."@fr)
                                                           unionOf(urn:oid:1.3.6.1.4.1.27630.3.1#Plus
                                                                   urn:oid:1.3.6.1.4.1.27630.3.1#Moins
                                                                   urn:oid:1.3.6.1.4.1.27630.3.1#Egal
                                                                   urn:oid:1.3.6.1.4.1.27630.3.1#EtatInitial))

SubClassOf(urn:oid:1.3.6.1.4.1.27630.3.1#Transformation urn:oid:1.3.6.1.4.1.27630.3.1#Metalogique)

Usage

Class Description/Definition (Necessary Conditions)

axiom:Egal, axiom:EtatInitial, axiom:Moins, axiom:Plus, axiom:Transformation, axiom:Univers, theorem:Archetypes, theorem:Systemes
Generated with OWLDoc