http://lodlaundromat.org/.well-known/genid/8ff016d43c465afd2e1466678c77aa6a#2
type: Restriction
max cardinality: 1
on property: hour-of

12-month-duration
type: duration
has-unit-of-measure: time-measure-year
has-magnitude: 12

string
subclass of: intangible-thing
subclass of: individual
comment: a primitive class representing string
type: Class

class
subclass of: unary-relation
type: Class
comment: the class of all classes. we consider a class as a unary relation, true for all its instance

http://lodlaundromat.org/.well-known/genid/8ff016d43c465afd2e1466678c77aa6a#3
type: Restriction
max cardinality: 1
on property: has-duration

http://lodlaundromat.org/.well-known/genid/8ff016d43c465afd2e1466678c77aa6a#4
type: Restriction
on property: second-of
max cardinality: 1

class-partition
type: Class
comment: returns all subclasses of a clas
subclass of: enumerated-set

number
comment: the class of all number
type: Class
subclass of: quantity

minute-in-time
comment: a minute-in-time is an integer in the interval 0-5
type: Class
subclass of: non-negative-integer

http://lodlaundromat.org/.well-known/genid/8ff016d43c465afd2e1466678c77aa6a#7
max cardinality: 1
type: Restriction
on property: month-of

time-point
subclass of: http://lodlaundromat.org/.well-known/genid/8ff016d43c465afd2e1466678c77aa6a#7
subclass of: http://lodlaundromat.org/.well-known/genid/8ff016d43c465afd2e1466678c77aa6a#8
subclass of: http://lodlaundromat.org/.well-known/genid/8ff016d43c465afd2e1466678c77aa6a#2
subclass of: http://lodlaundromat.org/.well-known/genid/8ff016d43c465afd2e1466678c77aa6a#9
subclass of: http://lodlaundromat.org/.well-known/genid/8ff016d43c465afd2e1466678c77aa6a#10
type: Class
comment: a point in tim
subclass of: time-position
subclass of: http://lodlaundromat.org/.well-known/genid/8ff016d43c465afd2e1466678c77aa6a#4

http://lodlaundromat.org/.well-known/genid/8ff016d43c465afd2e1466678c77aa6a#11
type: Restriction
max cardinality: 1
on property: ends-at-time-point

http://lodlaundromat.org/.well-known/genid/8ff016d43c465afd2e1466678c77aa6a#10
type: Restriction
on property: minute-of
max cardinality: 1

function
comment: (apply f (arg1....argn)) is the same as(f arg1...argn)
type: Class
subclass of: set

relation
comment: the class of defined relations. we assume fixed arit
subclass of: set
type: Class

integer
subclass of: real-number
type: Class
comment: a predicate to test whether a number is greater than anothe

http://lodlaundromat.org/.well-known/genid/8ff016d43c465afd2e1466678c77aa6a#13
max cardinality: 1
on property: begins-at-time-point
type: Restriction

29-day-duration
type: duration
has-magnitude: 29
has-unit-of-measure: time-measure-day

http://lodlaundromat.org/.well-known/genid/8ff016d43c465afd2e1466678c77aa6a#9
max cardinality: 1
type: Restriction
on property: day-of

7-day-duration
type: duration
has-magnitude: 7
has-unit-of-measure: time-measure-day

calendar-date
comment: a calendar date is a time point in which month, day and year havebeen specified but hour, minute and second have not
type: Class
subclass of: time-point

http://lodlaundromat.org/.well-known/genid/8ff016d43c465afd2e1466678c77aa6a#8
max cardinality: 1
on property: year-of
type: Restriction

24-hour-duration
type: duration
has-unit-of-measure: time-measure-hour
has-magnitude: 24

28-day-duration
has-magnitude: 28
has-unit-of-measure: time-measure-day
type: duration

binary-relation
comment: the same as holds, but takes only one argument, a sentence whose truthvalue is to be checked
subclass of: relation
type: Class

physical-quantity
comment: suo: physical quantities are distinguished from numbers by thefact that the former are associated with a dimension of measurement.
subclass of: quantity
type: Class

individual
subclass of: thing
comment: something which is not a set
type: Class

time-interval
type: Class
subclass of: time-position
subclass of: http://lodlaundromat.org/.well-known/genid/8ff016d43c465afd2e1466678c77aa6a#11
subclass of: http://lodlaundromat.org/.well-known/genid/8ff016d43c465afd2e1466678c77aa6a#3
comment: an interval is defined by two time points or a duration.classes of intervals, e.g., a day, can be defined by specifying onlya duration. a time interval has no gaps
subclass of: http://lodlaundromat.org/.well-known/genid/8ff016d43c465afd2e1466678c77aa6a#13

enumerated-set
subclass of: set
comment: a tuple, say <t1 t2 t3> is an element of function f iff(= (apply f ti t2) t3) is satisfied
type: Class

year-in-time
subclass of: integer
type: Class
comment: a year-in-time must be an integer and integer can be a year-in-tim

non-negative-integer
subclass of: integer
comment: divides number
type: Class

31-day-duration
has-magnitude: 31
type: duration
has-unit-of-measure: time-measure-day

list
subclass of: intangible-thing
comment: returns the last element of a list. if ?list is emptythen :nothing is returned
type: Class

second-in-time
type: Class
comment: a second-in-time is a real number greater or equal to 0, less than 6
subclass of: real-number

time-position
type: Class
subclass of: intangible-thing
comment: a time position is either a time interval or a time point.any time position is relative to a time zone

thing
comment: this is the top-level concept in the akt reference ontolog
type: Class

duration
type: Class
subclass of: physical-quantity
comment: a measure of time, e.g., 5 hour

day-in-time
type: Class
subclass of: positive-integer
comment: a day-in-time is an integer in the interval 1-3

set
subclass of: intangible-thing
comment: this is the basic set constructor to create a set by enumerating its elements.for instance, (setof 1 2) denotes the set {1 2}.we represent such a set as a list whose first item is :set
type: Class

time-measure
subclass of: unit-of-measure
comment: the duration between two time points.no operational definition is given here, only a spec
type: Class

30-day-duration
has-unit-of-measure: time-measure-day
type: duration
has-magnitude: 30

month-in-time
type: Class
subclass of: positive-integer
comment: a month-in-time is an integer in the interval 1-1

hour-in-time
subclass of: non-negative-integer
comment: a hour-in-time is an integer in the interval 0-2
type: Class

temporal-thing
subclass of: thing
comment: like in cyc, this is something which has a temporal extent
type: Class