Class: axiom:EtatInitial

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

Super Classes

axiom:Transformation

Abstract Syntax

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

Usage

Class Description/Definition (Necessary Conditions)

axiom:Transformation, theorem:Fondamental

Domain of

axiom:estUneBase
Generated with OWLDoc