Class: ArabidopsisGrossAnatomy

•owl:Thing

•Ontology

•DAGOntology

•ArabidopsisGrossAnatomy

Equivalent Classes (Necessary and Sufficient Conditions)

DAGOntology

hasPurpose SOME Annotation

hasPurpose SOME Schema

hasPurpose ONLY (Annotation OR Schema)

hasDomain SOME (Anatomy AND (ofOrganism SOME Arabidopsis))

hasOrganisation SOME OpenBiologicalOntologies

Abstract Syntax

Class(ArabidopsisGrossAnatomy complete DAGOntology
                                      restriction(hasPurpose someValuesFrom(Annotation))
                                      restriction(hasPurpose someValuesFrom(Schema))
                                      restriction(hasPurpose allValuesFrom(unionOf(Annotation
                                                                                   Schema)))
                                      restriction(hasDomain someValuesFrom(intersectionOf(Anatomy
                                                                                          restriction(ofOrganism someValuesFrom(Arabidopsis)))))
                                      restriction(hasOrganisation someValuesFrom(OpenBiologicalOntologies)))

Usage

Class Description/Definition (Necessary Conditions)

ArabidopsisGrossAnatomy

Generated with OWLDoc