Class(urn:oid:1.3.6.1.4.1.27630.3.1.1#Logique partial urn:oid:1.3.6.1.4.1.27630.3.1.1#SciencesFormelles)