the same as holds, but takes only one argument, a sentence whose truthvalue is to be checked
a calendar date is a time point in which month, day and year havebeen specified but hour, minute and second have not
the class of all classes. we consider a class as a unary relation, true for all its instance
a day-in-time is an integer in the interval 1-3
a tuple, say <t1 t2 t3> is an element of function f iff(= (apply f ti t2) t3) is satisfied
(apply f (arg1 .....argn)) is the same as(f arg1 ....argn)
a hour-in-time is an integer in the interval 0-2
a predicate to test whether a number is greater than anothe
returns the last element of a list. if ?list is emptythen :nothing is returned
a minute-in-time is an integer in the interval 0-5
a month-in-time is an integer in the interval 1-1
suo: physical quantities are distinguished from numbers by thefact that the former are associated with a dimension of measurement.
the class of defined relations. we assume fixed arit
a second-in-time is a real number greater or equal to 0, less than 6
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
like in cyc, this is something which has a temporal extent
this is the top-level concept in the akt reference ontolog
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
the duration between two time points.no operational definition is given here, only a spec
a time position is either a time interval or a time point.any time position is relative to a time zone
a year-in-time must be an integer and integer can be a year-in-tim
it is sufficient that somebody in unit ?u works in project ?
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
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
a publication produced in electronic for
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
this is an event in which the main agent (plus maybe others)goes from some place to another
hpkb says that genders are intangible..uhm..
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).
this is a generic notion, an agent can be an organization, a personan animal, a software agent, etc
a generic class to specify generic areas for research or business initiatives.for instance, the area in which a project is situated
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
a generalized transfer in which information is passed from main agent to one or morerecipient agents. examples include giving a tutorial.
some agents have legal status: definitely organizations and people,anybody else?
a meeting type of event. note that both attendee and organizer havemultiple cardinality
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.
merrian-webster says: a small publication (such as a leaflet or newspaper)containing news of interest chiefly to a special group
about 600 employees - i guess we consider it a medium-sized organizatio
an organization may have a number of units. units may themselves have sub-unit
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
modified to allow addresses to be given as strings, with no structur
people and in general even organizations and organization unitsmay have research interests. this relation shoudl be used tospecify them
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
we have decided that a publication reference is an intangible, abstract informatio
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
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.
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
a system which is accessible through the we