Class: axiom:MondesPossibles

"Possible worlds in the sense of "Modal realism"; they are causally isolated when observing their specificity." [lang: en]

•owl:Thing
        •axiom:Metalogique
                •axiom:MondesPossibles

Super Classes

axiom:aUneExistence ONLY axiom:Univers
axiom:Metalogique

Abstract Syntax

Class(urn:oid:1.3.6.1.4.1.27630.3.1#MondesPossibles partial restriction(urn:oid:1.3.6.1.4.1.27630.3.1#aUneExistence allValuesFrom(urn:oid:1.3.6.1.4.1.27630.3.1#Univers))
                                                           urn:oid:1.3.6.1.4.1.27630.3.1#Metalogique)

Usage

Class Description/Definition (Necessary Conditions)

theorem:EtreHumain
Generated with OWLDoc