A B C D E F M O P Q S T U

A

Atomic Event - Class in UFO.UFO-B

Atomic events are Events that have no improper parts.

B

Before - Class in UFO.UFO-B

begin - Variable in class UFO.UFO-B.Time Interval

C

Complex Event - Class in UFO.UFO-B

Complex events are aggregations of at least two events (that can themselves be atomic or complex).

Concrete Individual - Class in UFO.UFO-A

D

During - Class in UFO.UFO-B

E

end - Variable in class UFO.UFO-B.Time Interval

Ends - Class in UFO.UFO-B

Endurant - Class in UFO.UFO-A

Endurants are said to be wholly present whenever they are present, i.e., they are in time, in the sense that if we say that in circumstance c1 an endurant e has a property P1 and in circumstance c2 the property P2 (possibly incompatible with P1), it is the very same endurant e that we refer to in each of these situations.

Endurant Universal - Class in UFO.UFO-A

Equal - Class in UFO.UFO-B

Event - Class in UFO.UFO-B

Events are individuals composed by temporal parts, they happen in time in the sense that they extend in time accumulating temporal parts.

Event Universal - Class in UFO.UFO-B

F

Formal Relation - Class in UFO.UFO-A

M

Meets - Class in UFO.UFO-B

Monadic Universal - Class in UFO.UFO-A

O

Object - Class in UFO.UFO-A

Objects are Substantials with a well-defined identity.

Overlaps - Class in UFO.UFO-B

P

Participation - Class in UFO.UFO-B

Events are ontologically dependent entities in the sense that they existentially depend on their participants in order to exist.

Participation Universal - Class in UFO.UFO-B

post state - Variable in class UFO.UFO-B.Event

pre state - Variable in class UFO.UFO-B.Event

Q

Quale - Class in UFO.UFO-A

Quales are perceptions or conceptions of an intrinsic moment that can be represented as a point in a quality structure.

Quality Structure - Class in UFO.UFO-A

An attempt to model the relation between intrinsic moments and their representation in human cognitive structures is presented in the theory of conceptual spaces.

S

Situation - Class in UFO.UFO-A

Situations are special types of endurants.

source - Variable in class UFO.UFO-B.Time Interval Relation

Starts - Class in UFO.UFO-B

T

target - Variable in class UFO.UFO-B.Time Interval Relation

Temporal Structure - Class in UFO.UFO-B

Time Interval - Class in UFO.UFO-B

Time intervals themselves are “composed of” Time Points.

Time Interval Relation - Class in UFO.UFO-B

Time Point - Class in UFO.UFO-B

Time points could be represented as real numbers and Time Intervals as sets of real numbers.

U

UFO.UFO-A - package UFO.UFO-A

UFO.UFO-B - package UFO.UFO-B

UFO.UFO-B.Event - package UFO.UFO-B.Event

UFO.UFO-B.Temporal Structure - package UFO.UFO-B.Temporal Structure

A B C D E F M O P Q S T U