]> An OWL Ontology for OBO term term: the class of all GO terms, a subclass of owl:Class Object Object: subclass of owl:Thing disjoint with Event Event Event: subclass of owl:Thing disjoint with Object ObjectClass ObjectClass: a class of classes which are subclasses of Object EventClass EventClass: a class of classes which are subclasses of Event PartOfProperty PartOfProperty: a class of properties which are part-of relations, or restrictions applying to part-of parts (parts Part Whole) no interpretation is specified at this level isPartOf isPartOf: the conventional instance-level part-of relation (isPartOf Part Whole) where Part and Whole are not Classes Otter axioms: (all x y z ((isPart0f(x,y) AND isPart0f(y,z)) -> isPart0f(x,z))). (all x isPart0f(x,x)). (all x y ((isPart0f(x,y) AND isPart0f(y,x)) -> =(x,y))). isProperPartOf isProperPartOf: the conventional instance-level part-of relation (isProperPartOf Part Whole) where Part and Whole are Objects and not Classes Otter axiom: (all x y (isProperPartOf(x,y) IFF (isPart0f(x,y) AND -(isPart0f(y,x))))). isSubEventOf isSubEventOf: the conventional instance-level sub-event (part-of event) relation (isSubEventOf Part Whole) where Part and Whole are Events and not Classes. The axiomatisation of subEvent relations follows that of parts - see the corresponding part relation for details. isProperSubEventOf isSubEventOf: the conventional instance-level sub-event (part-of event) relation defined as (isProperSubEventOf x y) := (and (isSubEventOf x y) (not (isSubEventOf y x)) (isSubEventOf Part Whole) where Part and Whole are Events not Classes. partOf partOf: the restriction of parts to Object classes. partOf is transitive and inherits to subclasses of the Whole-Class when qualified by classDefinition, axiom in Otter syntax: (all P W ((partOf(P,W) AND classDefinition(P,W)) IFF (all w (exists p (type(w,W) -> (type(p,P) AND isProperPartOf(p,w))))))). partOf is transitive and does not inherit to subclasses of the Whole-Class when qualified by termDefinition, axiom in Otter syntax: (all P W ((partOf(P,W) AND termDefinition(P,W)) IFF (all w (exists p ((-(exists C ((subClassOf(C,W) AND type(w,C)))) and type(w,W)) IMPLIES ( -(exists D ((subClassOf(D,P) AND type(p,D)))) AND type(p,P) AND isProperPartOf(p,w))))))). subEventOf subEventOf: the restriction of parts to Event classes. This relation can be qualified in the same way as partOf (see the comment for partOf). descends descends: the most general lineage relation (descends Earlier Later) no interpretation is specified at this level. classDefinition This relation is used in conjunction with partOf or subEventOf to state that the part-whole relation holds of the whole-class and all subclasses of it. termDefinition This relation is used in conjunction with partOf or subEventOf to state that the part-whole relation holds of the whole-class but not of subclasses of it. directPartDefinition This relation is used conjunction with partOf or subEventOf to state that there are no parts between the part and the whole. Otter axiom for directPartDefinition + partOf/subEventOf (all P W ((partOf(P,W) AND directPartDefinition(P,W)) IFF (all w p ((type(w,W) AND type(p,P) AND isProperPartOf(p,w)) IMPLIES -(exists z (isProperPartOf(p,z) AND isProperPartOf(z,w))))))). partDefinition This relation is used conjunction with partOf or subEventOf to state that the part is defined by being part of the whole. accession accession is (#PCDATA) in the dtd name name is (#PCDATA) in the dtd synonym synonym is (#PCDATA) in the dtd definition definition is (#PCDATA) in the dtd n_associations n_associations is (wrongly) in !ATTLIST of term in the dtd association association has two components go:evidence go:gene_product dbxref dbxref has two components go:database_symbol, go:reference evidence evidence is linked via a blank node from association gene_product gene_product is linked via a blank node from association database_symbol database_symbol is linked via a blank node from dbxref reference reference is linked via a blank node from dbxref