OntoME

Domain:

E3 Condition State

Range:

E3 Condition State

Subproperty of:

• Thing Thing → topObjectProperty → Thing Thing

Quantification:

0,n:0,1

Scope note:

This property describes the decomposition of an E3 Condition State into discrete, subsidiary states. It is assumed that the sub-states into which the condition state is analysed form a logical whole - although the entire story may not be completely known – and that the sub-states are in fact constitutive of the general condition state. For example, a general condition state of “in ruins” may be decomposed into the individual stages of decay

Examples:

No example yet.

In First Order Logic:

• P5(x,y) ⊃ E3(x)
• P5(x,y) ⊃ E3(y)
• P5(x,y) ⊃ topObjectProperty(x,y)