Class: axiom:Egal

"Égalité; Équilibre Opérateur de tension." [lang: fr]

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

Super Classes

axiom:Transformation

Disjoint Classes

axiom:Moins, axiom:Plus

Abstract Syntax

Class(urn:oid:1.3.6.1.4.1.27630.3.1#Egal partial urn:oid:1.3.6.1.4.1.27630.3.1#Transformation)

DisjointClasses(urn:oid:1.3.6.1.4.1.27630.3.1#Egal urn:oid:1.3.6.1.4.1.27630.3.1#Moins
                                                   urn:oid:1.3.6.1.4.1.27630.3.1#Plus)

Usage

Class Description/Definition (Necessary Conditions)

axiom:Transformation, theorem:Pretre, theorem:Regulateur

Domain of

axiom:estUneRegulation
Generated with OWLDoc