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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

set
type: Class
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

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

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

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

time-interval
type: Class
subclass of: time-position
subclass of: Restriction
  on property: ends-at-time-point
  max cardinality: 1
subclass of: Restriction
  on property: begins-at-time-point
  max cardinality: 1
subclass of: Restriction
  on property: has-duration
  max cardinality: 1
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

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

time-point
type: Class
subclass of: time-position
subclass of: Restriction
  on property: month-of
  max cardinality: 1
subclass of: Restriction
  on property: day-of
  max cardinality: 1
subclass of: Restriction
  on property: minute-of
  max cardinality: 1
subclass of: Restriction
  on property: second-of
  max cardinality: 1
subclass of: Restriction
  on property: year-of
  max cardinality: 1
subclass of: Restriction
  on property: hour-of
  max cardinality: 1
comment: a point in tim

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

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

activity-status
type: Class
subclass of: string
comment: it is sufficient that somebody in unit ?u works in project ?

affiliated-person
type: Class
subclass of: person
subclass of: Restriction
  on property: has-affiliation
  min cardinality: 1
comment: a person which has an affiliation with some organization.for instance employees are affiliated to the organization they work for,students to the institution where they are studying, etc..a person can have multiple affiliations, which means that there is noconstraint relating the values of slot has-affiliation-to-unit to the valuesof slot has-affiliation

composite-publication
type: Class
subclass of: publication
subclass of: Restriction
  on property: contains-publication
  min cardinality: 1
comment: a publication which contains items which cane be themselves referenced through apublication reference. composite publications include newspapers, magazines and journals.a book which is a collection of articles is a composite publication, a monograph is not

degree
type: Class
subclass of: award
comment: a degree is type of awar

electronic-publication
type: Class
subclass of: publication
comment: a publication produced in electronic for

event
type: Class
subclass of: temporal-thing
comment: this is a minimalist definition of class event. we start with the very basicand we will then add slots as we specialise this definition for specific classes of events.the fillers of slots has-other-agents-involved and has-main-agent should notintersect

event-involving-movement
type: Class
subclass of: event
subclass of: Restriction
  on property: location-at-start
  max cardinality: 1
subclass of: Restriction
  on property: location-at-end
  max cardinality: 1
comment: this is an event in which the main agent (plus maybe others)goes from some place to another

event-involving-production
type: Class
subclass of: event
comment: when something is produce

gender
type: Class
subclass of: intangible-thing
comment: hpkb says that genders are intangible..uhm..

generalized-transfer
type: Class
subclass of: event-involving-movement
comment: an event in which the main agent transfers something (the thing-acted-on, tangible or intangible)to one or more recipient agents.note that we do not say anything about whether the original agent still retainthe thing-acted-on. in some cases this is clearly true ('i pass my wisdom on to my daughter'),in other cases it is not (i give you my wallet).

generic-agent
type: Class
subclass of: temporal-thing
comment: this is a generic notion, an agent can be an organization, a personan animal, a software agent, etc

generic-area-of-interest
type: Class
subclass of: intangible-thing
comment: a generic class to specify generic areas for research or business initiatives.for instance, the area in which a project is situated

information-bearing-object
type: Class
subclass of: tangible-thing
comment: this notion comes from cyc. it is useful to group together allinformation bearing entities, including video, audio and documents.an information bearing object may have an author (a generic agent)and may be owned by a legal agent. it is a tangible object

information-transfer-event
type: Class
subclass of: generalized-transfer
comment: a generalized transfer in which information is passed from main agent to one or morerecipient agents. examples include giving a tutorial.

legal-agent
type: Class
subclass of: generic-agent
comment: some agents have legal status: definitely organizations and people,anybody else?

meeting-taking-place
type: Class
subclass of: social-gathering
comment: a meeting type of event. note that both attendee and organizer havemultiple cardinality

method
type: Class
subclass of: intangible-thing
comment: merrian-webster has a good set of definitions for a method.they say it is 'a systematic procedure,technique, or mode of inquiry employed by or proper to a particulardiscipline or art; a systematic plan followed in presentingmaterial for instruction; a way, technique, orprocess of or for doing something; a body of skills or techniques'.this is very much also what we mean by method.

newsletter
type: Class
subclass of: composite-publication
subclass of: serial-publication
comment: merrian-webster says: a small publication (such as a leaflet or newspaper)containing news of interest chiefly to a special group

operational-ontology-specification-language
type: Class
subclass of: ontology-specification-language
comment: about 600 employees - i guess we consider it a medium-sized organizatio

organization
type: Class
subclass of: legal-agent
subclass of: Restriction
  on property: has-size
  cardinality: 1
comment: an organization is a type of legal agen

organization-unit
type: Class
subclass of: generic-agent
comment: an organization may have a number of units. units may themselves have sub-unit

periodical-publication
type: Class
subclass of: serial-publication
subclass of: Restriction
  on property: has-periodicity
  cardinality: 1
comment: this comes from the ontolingua library.a periodical-publication is published regularly, such as onceevery week. strictly speaking, the noun 'periodical' is usedby librarians to refer to things published at intervals of greaterthan a day. we use the phase periodical-publication to includenewspapers and other daily publications, since they share manybibliographic features.the periodicity indicates how often the publication comes out. note that this isa duration, rather than a time interval. a time interval indicates a specific time intervalon the time continuum, so we need to model periodicity as a time quantity

postal-address
type: Class
subclass of: address
comment: modified to allow addresses to be given as strings, with no structur

project
type: Class
subclass of: activity
subclass of: Restriction
  on property: involves-organization
  min cardinality: 1
subclass of: Restriction
  on property: has-project-member
  min cardinality: 1
subclass of: Restriction
  on property: involves-organization-unit
  min cardinality: 1

project-officer-in-academia
type: Class
subclass of: academic-support-staff-member
comment: people and in general even organizations and organization unitsmay have research interests. this relation shoudl be used tospecify them

publication
type: Class
subclass of: information-bearing-object
subclass of: Restriction
  on property: has-publication-reference
  min cardinality: 1
comment: a publication is something which has one or more publication references.a publication can be both an article in a journal or a journal itself.the distinction between publication and publication-reference makes it possibleto distinguish between multiple occurrences of the same publication, for instance indifferent media

publication-reference
type: Class
subclass of: temporal-thing
subclass of: abstract-information
comment: we have decided that a publication reference is an intangible, abstract informatio

sending-an-email
type: Class
subclass of: information-transfer-event
subclass of: Restriction
  on property: information-transfer-medium-used
  has value: email-medium
comment: a generalized transfer in which information is passed from main agent to one or morerecipient agents. examples include giving a tutorial.

serial-publication
type: Class
subclass of: publication
comment: this used to be called periodical publication. however, many periodicalsdo not appear at fixed intervals, which is why librarians refer to them as serials.so, we now use the concept of serial publication and the has-periodicity slot has beenremoved

small-or-medium-sized-organization
type: Class
subclass of: organization
comment: sme are important, so we define a class to represent them explicitly.in some case we might not know or we do not want to bother specifyingexcatly whether something is a small-organization or a medium-organization.hence, we can just say 'x is a sme' without going into further detail.

student
type: Class
subclass of: affiliated-person
subclass of: Restriction
  on property: studies-at
  min cardinality: 1
subclass of: Restriction
  on property: studies-in-unit
  min cardinality: 1

technology
type: Class
subclass of: temporal-thing
comment: by technology we mean engineered applications of science.i guess we are probably confining ourselves to tangible thingsbut as i am not sure i will use thing as the direct superclass -e.g., an algorithm is an intangible thing, but it could be seen asa technology, if we give a broad interpretation of the term

url
type: Class
subclass of: string
comment: a url is a particular type of strin

web-based-system
type: Class
subclass of: implemented-system
comment: a system which is accessible through the we

kmi-story-category
type: Class
comment: socia

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

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

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

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

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

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

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

kmi-planet-newsletter
type: NamedIndividual
type: electronic-newsletter
has-pretty-name: kmi planet