Class: theorem:Artificiel

"Machines; Appareillages; Assemblages." [lang: fr]

•owl:Thing

•theorem:EtreHumain

•theorem:Identite

•theorem:Artificiel

Super Classes

theorem:Identite

axiom:estUneMesure SOME axiom:Observables

Abstract Syntax

Class(urn:oid:1.3.6.1.4.1.27630.3.1.1#Artificiel partial urn:oid:1.3.6.1.4.1.27630.3.1.1#Identite
                                                        restriction(urn:oid:1.3.6.1.4.1.27630.3.1#estUneMesure someValuesFrom(urn:oid:1.3.6.1.4.1.27630.3.1#Observables)))

Usage

Class Description/Definition (Necessary Conditions)

theorem:Autres

Domain of

theorem:estUneCeremonie

Generated with OWLDoc