Class: theorem:PostulatEchelle

•owl:Thing

•theorem:Philosophie

•theorem:Episteme

•theorem:Postulats

•theorem:PostulatEchelle

Super Classes

theorem:Postulats

Disjoint Classes

theorem:PostulatEquilibre, theorem:PostulatLogique, theorem:PostulatUniversel

Abstract Syntax

Class(urn:oid:1.3.6.1.4.1.27630.3.1.1#PostulatEchelle partial urn:oid:1.3.6.1.4.1.27630.3.1.1#Postulats)

DisjointClasses(urn:oid:1.3.6.1.4.1.27630.3.1.1#PostulatEchelle urn:oid:1.3.6.1.4.1.27630.3.1.1#PostulatEquilibre
                                                                urn:oid:1.3.6.1.4.1.27630.3.1.1#PostulatLogique
                                                                urn:oid:1.3.6.1.4.1.27630.3.1.1#PostulatUniversel)

Usage

Class Description/Definition (Necessary Conditions)

theorem:Postulats

Generated with OWLDoc