#<![CDATA[
# KEHOME/knowledge/cyc/UpperOntology.mkr
# Feb/12/2007
rdf:RDF has
xmlns:daml = "http://www.daml.org/2001/03/daml+oil#",
xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#",
xmlns:rdfs = "http://www.w3.org/2000/01/rdf-schema#",
xmlns:dc = "http://purl.org/dc/elements/1.1/",
xmlns = "http://opencyc.sourceforge.net/daml/cyc#";
"http://mKRmKE.net/knowledge/cyc/UpperOntology.mkr" has
creator = "Richard H. McCullough",
date = "2007/Feb/12",
source = "http://xbean.cs.ccu.edu.tw/~dan/opencyc-0.6.0/cyc.daml",
language = "mKR";
Ontology has about="",
versionInfo = "$Id$",
comment = "The Cyc Upper Ontology";
UniqueProperty isp guid;
guid has
label = "guid",
comment = "Permanent Global Unique ID for the associated\n
concept -- which enables concept renaming. Users should not\n
depend upon the DAML ID nor label as fixed for all time.",
domain = Thing,
range = Literal;
Time-Quantity isp AFewDaysDuration;
AFewDaysDuration has
label = "a few days duration",
comment = "Duration of 2 to 10 days",
guid = "bd58f6ee-9c29-11b1-9dad-c379636f7270";
OrderOfMagnitudeInterval isp AFewDecadesDuration;
AFewDecadesDuration has
label = "a few decades duration",
comment = "Duration of 2 to 10 decades",
guid = "bd58af72-9c29-11b1-9dad-c379636f7270";
OrderOfMagnitudeInterval isp AFewHoursDuration;
AFewHoursDuration has
label = "a few hours duration",
comment = "Duration of 2 to 10 hours",
guid = "bd58fded-9c29-11b1-9dad-c379636f7270";
OrderOfMagnitudeInterval isp AFewMinutesDuration;
AFewMinutesDuration has
label = "a few minutes duration",
comment = "Duration of 2 to 10 minutes",
guid = "bd5899f0-9c29-11b1-9dad-c379636f7270";
Time-Quantity isp AFewMonthsDuration;
AFewMonthsDuration has
label = "a few months duration",
comment = "A few months 2-10",
guid = "bd59008b-9c29-11b1-9dad-c379636f7270";
OrderOfMagnitudeInterval isp AFewSecondsDuration;
AFewSecondsDuration has
label = "a few seconds duration",
comment = "Duration of 2 to 30 seconds",
guid = "bd589ecf-9c29-11b1-9dad-c379636f7270";
Time-Quantity isp AFewWeeksDuration;
AFewWeeksDuration has
label = "a few weeks duration",
comment = "Duration of 2 to 10 weeks",
guid = "bd58ddfa-9c29-11b1-9dad-c379636f7270";
Time-Quantity isp AFewYearsDuration;
AFewYearsDuration has
label = "a few years duration",
comment = "Duration of 2 to 10 years",
guid = "bd589ddb-9c29-11b1-9dad-c379636f7270";
Class isg AbandoningSomething;
AbandoningSomething has
label = "abandonments",
comment = "The collection of events in which some #$Agent\n
deliberately gives up possession of something, without\n
giving it to another.",
guid = "bd67b7de-9c29-11b1-9dad-c379636f7270";
AbandoningSomething rel
isu TemporalObjectType,
iss LosingUserRights,
iss PurposefulAction,
xor GainingUserRights;
Class isg Ablation;
Ablation has
label = "ablations",
comment = "A collection of events. In an #$Ablation, a\n
(usually relatively thin) layer of material is removed from\n
the surface of an object.",
guid = "bd58b6b3-9c29-11b1-9dad-c379636f7270";
Ablation rel
isu DefaultDisjointScriptType,
isu TemporalStuffType,
iss Separation-Complete,
iss RemovingSomething;
Class isg AboveGroundLevelInAConstruction;
AboveGroundLevelInAConstruction has
label = "above ground levels",
comment = "A specialization of #$LevelOfAConstruction whose\n
instances are at or above ground level. See also\n
#$BasementLevelInAConstruction and #$BalconyLevelInAConstruction.",
guid = "bd588bb2-9c29-11b1-9dad-c379636f7270";
AboveGroundLevelInAConstruction rel
isu ExistingObjectType,
iss LevelOfAConstruction;
Class isg AbradingSomething;
AbradingSomething has
label = "abrading events",
comment = "A collection of events. In an #$AbradingSomething\n
event, the surface of some object is gradually worn away by\n
scraping or similar physical contact involving friction.\n
Devices used in elements of #$AbradingSomething include\n
files and sand paper; elements of #$AbradingSomething would\n
include the event in which Howard Hughes sanded down the\n
Spruce Goose for the last time, the event in which Lucy\n
Ricardo filed her fingernails just before her singing debut\n
at Rickie's club, etc.",
guid = "bd5899e7-9c29-11b1-9dad-c379636f7270";
AbradingSomething rel
isu DefaultDisjointScriptType,
iss Ablation;
Class isg AbstractInformationalThing;
AbstractInformationalThing has
label = "data",
comment = "A heterogeneous collection of abstract objects\n
that pertain to information. Subsumes not only\n
#$Proposition, but also the collections #$Sentence,\n
#$CharacterString, #$AtomicSymbol-Abstract, #$Microtheory,\n
#$PropositionalInformationThing, and #$ConceptualWork. Note\n
that while all #$AbstractInformationalThings are abstract\n
objects (this collection is disjoint with\n
#$SpatialThing-Localized), most instances of this collection\n
can have multiple concrete 'embodiments'. A single\n
instance of #$Sentence can be written on several peices of\n
paper (see #$instantiationOfAIS); a\n
#$PropositionalInformationThing may be the content of\n
several concrete documents, such as instances of #$BookCopy\n
(see #$containsInfoPropositional-IBT); and several events,\n
such as spoken utterances, may have a certain #$Proposition\n
as their content (see #$containsInformation). Note that some\n
instances of #$AbstractInformationalThing have temporal\n
extent. Examples include all instances of #$Novel-CW and\n
#$Movie-CW. Others specs are disjoint with #$TemporalThing.\n
Examples include all instances of #$Character-Abstract and #$Proposition.",
guid = "bdff6c64-9c29-11b1-9dad-c379636f7270";
AbstractInformationalThing rel
isu StuffType,
isu Class,
iss IntangibleIndividual,
xor SpatialThing,
xor Agent,
xor Event;
Class isg AbstractProgrammingLanguage;
AbstractProgrammingLanguage has
label = "programming languages",
comment = "The collection of languages invented for use by\n
computers. This includes both command languages and others\n
which one doesn't really `program' in.",
guid = "bd58c2ea-9c29-11b1-9dad-c379636f7270";
AbstractProgrammingLanguage rel
isu ObjectType;
Class isg AbstractShapeType;
AbstractShapeType has
label = "abstract shape type",
comment = "A collection of collections. An instance SHAPE of\n
#$ShapeType (q.v.) is also an instance of\n
#$AbstractShapeType if and only if SHAPE is a spec of\n
#$GeometricThing-Abstract. It is distinguished from\n
#$GenericShapeType (q.v.), which is the collection of those\n
collections that are instances of #$ShapeType, some of whose\n
instances are abstract, and some of whose instances are\n
localized. There is no '#$LocalizedShapeType'. The\n
instances of #$AbstractShapeType are the acceptable\n
second-arguments of the predicate #$shape. So, if you have\n
have a spherical ball, BALL001, it is true that (#$shape\n
BALL001 (#$AbstractFn #$SphereShape)), but false (in fact,\n
undefined) that (#$shape BALL001 #$SphereShape).",
guid = "c0f46e32-9c29-11b1-9dad-c379636f7270";
AbstractShapeType rel
isu Class,
isu CollectionType,
iss ShapeType,
xor GenericShapeType;
Class isg AcademicProfessional;
AcademicProfessional has
label = "academics",
comment = "A collection of persons; a subset of\n
#$Professional. Each element of #$AcademicProfessional is a\n
person whose job is to educate and/or to perform research as\n
an affiliate of an academic institution. This includes\n
members of the teaching and/or research staff of schools,\n
colleges, universities, and research institutes.",
guid = "bd589db6-9c29-11b1-9dad-c379636f7270";
AcademicProfessional rel
isu OccupationType,
iss Professional;
Class isg AcademicQuarter;
AcademicQuarter has
label = "academic quarters",
comment = "Each instance of this collection is a\n
#$TimeInterval defined by some educational institution: one\n
quarter of their #$AcademicYear. Since the start dates, end\n
dates, and duration may all vary depending on the\n
institution, the year, etc., instances of this collection\n
must unfortunately be time intervals like StanfordSpringQuarter1991.",
guid = "bd589441-9c29-11b1-9dad-c379636f7270";
AcademicQuarter rel
isu TemporalObjectType,
iss TimeInterval,
xor TimePoint;
Class isg AcademicSemester;
AcademicSemester has
label = "semesters",
comment = "Each instance of this collection is a\n
#$TimeInterval defined by some educational institution: one\n
half of their #$AcademicYear. Since the start dates, end\n
dates and duration may vary depending on the institution and\n
year, instances will be time intervals such as ``StanfordSpringSemester1990-91''.",
guid = "bd58ea30-9c29-11b1-9dad-c379636f7270";
AcademicSemester rel
isu TemporalObjectType,
iss TimeInterval,
xor TimePoint;
Class isg AcademicTrimester;
AcademicTrimester has
label = "trimesters",
comment = "Each instance of this collection is a\n
#$TimeInterval defined by some educational institution: one\n
third of their #$AcademicYear. Since the start dates, end\n
dates, and duration may all vary depending on the\n
institution and year, instances of this collection must\n
unfortunately be time intervals like UCLASpringTrimester1990-91.",
guid = "bd58ea73-9c29-11b1-9dad-c379636f7270";
AcademicTrimester rel
isu TemporalObjectType,
iss TimeInterval,
xor TimePoint;
Class isg AcademicYear;
AcademicYear has
label = "academic years",
comment = "Each instance of this collection is an annually\n
recurring #$TimeInterval defined by an educational\n
institution. Since the start dates, end dates, and duration\n
may all vary depending on the institution, the year, etc.,\n
instances of this collection must unfortunately be time\n
intervals like Stanford1989-90AcademicYear.",
guid = "bd58f188-9c29-11b1-9dad-c379636f7270";
AcademicYear rel
isu TemporalObjectType,
iss TimeInterval,
xor TimePoint;
Class isg Acceleration;
Acceleration has
label = "accelerations",
comment = "Acceleration is the change in speed of an object\n
per unit time. It is a measurable physical quantity,\n
measured in units such as MilesPerHourPerSecond.",
guid = "bd58dc89-9c29-11b1-9dad-c379636f7270";
Acceleration rel
isu DerivedNumericAttributeType,
iss ScalarInterval,
iss PhysicalAttribute;
Class isg AccessNumber;
AccessNumber has
label = "access numbers",
comment = "A collection of #$PhoneNumbers. Each element of\n
#$AccessNumber is a string that a user with #$Internet\n
connections uses to connect to his/her #$InternetServiceProvider.",
guid = "bf796ce3-9c29-11b1-9dad-c379636f7270";
AccessNumber rel
isu IDStringType,
iss PhoneNumber;
Class isg AccessingAnIBT;
AccessingAnIBT has
label = "information-accessing events",
comment = "A collection of information transfer events. Each\n
element of #$AccessingAnIBT is an action by which an agent\n
accesses the content of some IBT (i.e., an element of\n
#$InformationBearingThing). Examples include (getting\n
information from) reading a newspaper, watching a film,\n
listening to a musical performance, decoding an encrypted\n
message, seeing a traffic police officer wave you on, or\n
hearing your roommate ask you to take out the trash. Of\n
course, communication conventions play a role here. In the\n
#$NaiveInformationMt, Cyc simply assumes that an agent who\n
accesses an IBT understands its content afterwards. In the\n
#$InformationGMt, Cyc makes the more complicated inference\n
that an agent who accesses an IBT understands its content\n
afterwards only if the agent is able to get the encoded\n
information using a convention familiar to that agent. See\n
also #$CommunicationConvention, #$hasCommConvention, #$usesCommConventionForInfo.",
guid = "bd58d61f-9c29-11b1-9dad-c379636f7270";
AccessingAnIBT rel
isu TemporalObjectType,
isu DefaultDisjointScriptType,
iss TransferIn,
iss PurposefulAction,
iss InformationTransferEvent;
Class isg Account;
Account has
label = "accounts",
comment = "A collection of objects; a subset of\n
#$LegalAgreement. Each element of #$Account is a recorded\n
obligation (of some particular type) between specified\n
parties, consisting of `funds' which typically can be\n
added to and drawn upon. Examples include the instances of\n
#$RetirementAccount, #$TravelExpenseAccount, and of the many\n
types of #$FinancialAccount. Note that the contents of an\n
account need not be monetary; for example, the contents may\n
be amounts of time, as in the subsets #$VacationAccount or a\n
#$SickLeaveAccount. #$Account does NOT include debt\n
obligations of fixed face value that cannot be increased or\n
reduced (such as a bond).",
guid = "bd588c2b-9c29-11b1-9dad-c379636f7270";
Account rel
isu AccountType,
isu TemporalStuffType,
iss LegalAgreement,
iss AuthorizedAgreement;
Class isg AccountStatusAttribute;
AccountStatusAttribute has
label = "account statuses",
comment = "A collection of attributes. Each element of\n
#$AccountStatusAttribute is an attribute that describes the\n
obligational status of an #$Account; e.g.,#$PaidInFull,\n
#$InComplianceWithPaymentSchedule, #$PaymentOverdue, #$AccountInactive.",
guid = "bd58d207-9c29-11b1-9dad-c379636f7270";
AccountStatusAttribute rel
isu AttributeType,
isu SiblingDisjointAttributeType,
iss AttributeValue;
Class isg AccountType;
AccountType has
label = "account type",
comment = "A collection of collections. Each element of\n
#$AccountType is a collection of financial accounts of some\n
type. Examples: #$SavingsAccount, #$CreditCardAccount,\n
#$RetirementAccount, #$SocialSecurityAccount,\n
#$TravelExpenseAccount. Typically, accounts are denominated\n
in units of #$Money.",
guid = "bd588be8-9c29-11b1-9dad-c379636f7270";
AccountType rel
isu SiblingDisjointCollection,
isu CollectionType,
iss ExistingObjectType;
Class isg Acknowledging-CommunicationAct;
Acknowledging-CommunicationAct has
label = "acknowledgments",
comment = "The collection of actions which are #$performedBy\n
one #$Agent to convey information about the receipt of a\n
prior #$CommunicationAct-Single which was #$performedBy\n
another #$Agent. An example: Judy saying `No' in\n
response to Jane's prior act of saying `Will you clean\n
the toaster.'",
guid = "bd590c41-9c29-11b1-9dad-c379636f7270";
Acknowledging-CommunicationAct rel
isu DefaultDisjointScriptType,
isu TemporalObjectType,
iss CommunicationAct-Single;
Class isg AcquaintanceAttribute;
AcquaintanceAttribute has
label = "acquaintance attribute",
comment = "The collection of attributes that specify ways in\n
which (and/or degrees to which) one person is acquainted\n
with another E.g., some instances of this collection are:\n
#$FamousPersonAcquaintance, #$TrueFanAcquaintance,\n
#$IntimateAcquaintance, #$FrequentContactAcquaintance, etc.",
guid = "bd58f556-9c29-11b1-9dad-c379636f7270";
AcquaintanceAttribute rel
isu SocialAttributeType,
isu Class;
Class isg Action;
Action has
label = "actions",
comment = "A collection of events. Each instance of #$Action\n
is an event that is carried out by some 'doer'\n
(see #$doneBy). Actions may include any event in which one\n
or more actor(s) effect some change(s) in the tangible or\n
intangible state of the world, typically by some expenditure\n
of effort or energy. But note that it is not required that\n
any tangible object be moved, changed, produced, or\n
destroyed for an action to occur; the effects of actions may\n
be intangible (such as the change in a bank balance, or the\n
intimidation of a subordinate). Depending upon the context,\n
actors may be animate or inanimate, conscious or\n
nonconscious. For actions that are intentional, see also\n
#$PurposefulAction, #$performedBy.",
guid = "bd58a841-9c29-11b1-9dad-c379636f7270";
Action rel
isu TemporalObjectType,
iss Event;
Class isg ActionOnObject;
ActionOnObject has
label = "actions on an object",
comment = "The collection of physical events in which some\n
doer acts on an object. Each element of #$ActionOnObject is\n
an action in which both the roles of #$doneBy and\n
#$objectActedOn (qq.v.) are filled. Positive examples:\n
someone typing on a keyboard; a tornado destroying a\n
building. Negative examples: a person dancing; wind blowing.",
guid = "c0e7f6ca-9c29-11b1-9dad-c379636f7270";
ActionOnObject rel
isu TemporalObjectType,
iss Action,
iss PhysicalEvent;
Class isg ActorSlot;
ActorSlot has
label = "actor slots",
comment = "A collection of binary predicates; a\n
specialization of #$Role. Each element of #$ActorSlot\n
relates some instance of #$Event to a temporal thing\n
involved in that event (here called a `participant',\n
but that does not imply activity). The first argument of\n
every #$ActorSlot is an instance of #$Event, and the second\n
argument is an instance of #$SomethingExisting. All\n
instances of #$ActorSlot have #$actors as their #$genlPreds,\n
directly or indirectly, so that the actor slots form a kind\n
of hierarchy. Each specialized actor slot indicates HOW its\n
participant participates in the event, i.e., in what role\n
(e.g., #$inputs, #$outputs, #$doneBy). Actor slots are NOT\n
used to indicate the time of an event's occurrence,\n
external representations of the event, and other more\n
remotely related things that are not directly or indirectly\n
`involved' in occurrence of the event. Time and other\n
quantities are relevant to events but are not instances of\n
#$SomethingExisting; thus, they are related to events by\n
some non-#$ActorSlot predicate. Things which are remotely\n
related to the event--e.g., someone who is affected by the\n
event but doesn't exist when the event occurs--may be\n
related using some instance of #$Role that does not belong\n
to #$ActorSlot, such as #$affectedAgent. See also #$Role.",
guid = "bd588029-9c29-11b1-9dad-c379636f7270";
ActorSlot rel
isu PredicateCategory;
Class isg Address-LocationDesignator;
Address-LocationDesignator has
label = "addresses",
comment = "A collection of strings. Each element of\n
#$Address-LocationDesignator is a string that denotes an\n
address. Each string indicates one entire address. For\n
example: `President Bill Clinton, White House, 1600\n
Pennsylvania Avenue, Washington, DC.",
guid = "bd590a18-9c29-11b1-9dad-c379636f7270";
Address-LocationDesignator rel
isu ObjectType,
xor ContactLocation;
Class isg Adjective;
Adjective has
label = "adjectives",
comment = "The collecton of all adjectives. Adjectives are\n
words which can modify nouns. Many adjectives have\n
comparative and superlative forms. Example: `red'.",
guid = "bd588031-9c29-11b1-9dad-c379636f7270";
Adjective rel
isu LinguisticObjectType,
isu SpeechPart;
Class isg Administrator;
Administrator has
label = "administrators",
comment = "A collection of persons; a subset of\n
#$Professional. Each element of #$Administrator is an\n
employee of an organization who is responsible for managing\n
its organizational affairs. Elements of #$Administrator may\n
or may not also be required to manage people. If so, then\n
they are also #$Managers (q.v.).",
guid = "bd58aedc-9c29-11b1-9dad-c379636f7270";
Administrator rel
isu OccupationType;
Class isg Admiration;
Admiration has
label = "admiration",
comment = "A feeling of strong approval. An intense positive\n
attitude towards another person(s) or group. May be\n
accompanied by emulation. #$Admiration is different than\n
#$Respect (qv). This is a collection --- see #$Happiness\n
for an explanation. Some more specialized\n
#$FeelingAttributeTypes than #$Admiration are\n
#$Wonder-Admiration, #$Adulation, #$Awe, etc. ",
guid = "bd58b20b-9c29-11b1-9dad-c379636f7270";
Admiration rel
isu FeelingAttributeType,
iss Respect;
Class isg AdultAnimal;
AdultAnimal has
label = "adult animals",
comment = "The collection of all adult animals (including\n
adult people), meaning all elements of #$Animal that are\n
mature enough to bear offspring, or older.",
guid = "c1006731-9c29-11b1-9dad-c379636f7270";
AdultAnimal rel
isu ExistingObjectType,
iss Animal,
xor JuvenileAnimal;
Class isg AdultFemalePerson;
AdultFemalePerson has
label = "women",
comment = "The collection of all women; i.e., #$Persons who\n
are adult and female",
guid = "bd58b1f1-9c29-11b1-9dad-c379636f7270";
AdultFemalePerson rel
isu ExistingObjectType,
iss FemalePerson,
iss HumanAdult;
Class isg Adverb;
Adverb has
label = "adverbs",
comment = "The collection of all adverbs. Adverbs are words\n
which can modify adverbs, verbs, or adjectives. Many adverbs\n
are morphologically derived from adjectives. Example: `slowly'.",
guid = "bd58802c-9c29-11b1-9dad-c379636f7270";
Adverb rel
isu LinguisticObjectType,
isu SpeechPart;
Class isg Advertising;
Advertising has
label = "advertising events",
comment = "A collection of #$CommunicationAct-Singles. In an\n
#$Advertising event, someone is communicating, to potential\n
customers of an #$Agent, the desire of that agent to do\n
business with those customers (either to `do business'\n
in general or to sell them something specific.",
guid = "c10afc14-9c29-11b1-9dad-c379636f7270";
Advertising rel
isu TemporalObjectType,
iss CommunicationAct-Single,
iss BusinessEvent;
Class isg Affection;
Affection has
label = "affection",
comment = "A feeling of fondness for someone or something.\n
Sympathy, liking, warmth, tenderness. This is a\n
#$Collection --- for an explanation of that, see\n
#$Happiness. Some more specialized #$FeelingAttributeTypes\n
than #$Affection are #$Love, #$Passion, etc.",
guid = "bd58b5c7-9c29-11b1-9dad-c379636f7270";
Affection rel
isu FeelingAttributeType;
Class isg Afternoon;
Afternoon has
label = "afternoons",
comment = "An #$Afternoon is the daily #$Event where the\n
#$Sun moves from its `highest' position in the daily\n
cycle and `sets' or becomes a #$MidnightSun, i.e from\n
noon till #$Sunset or #$MidnightSun. A #$Midday overlaps\n
the start of an #$Afternoon, and an #$Evening is\n
#$contiguousAfter an #$Afternoon (except when there is a\n
#$MidnightSun in which case a #$Morning is contiguously\n
after the #$Afternoon). Each #$Afternoon is\n
#$temporallyFinishedBy a #$Sunset or #$MidnightSun.",
guid = "bd58863a-9c29-11b1-9dad-c379636f7270";
Afternoon rel
isu TemporalObjectType,
iss QualitativeTimeOfDay;
Class isg Agent;
Agent has
label = "agents",
comment = "In the #$FunctionalRoleAnalysisMt an #$Agent is\n
defined quite simply as any temporally extended thing that\n
plays one or more functional roles in some #$FunctionalSystem.",
guid = "bd588007-9c29-11b1-9dad-c379636f7270";
Agent rel
isu ExistingObjectType,
iss CompositeTangibleAndIntangibleObject,
iss Agent-Generic,
xor Place,
xor Surface-Generic,
xor EarthStuff,
xor FluidTangibleThing,
xor TangibleProduct,
xor Artifact,
xor TextualMaterial,
xor AbstractInformationalThing;
Class isg Agent-Generic;
Agent-Generic has
label = "agent - generic",
comment = "#$Agent-Generic is the collection of all agents,\n
or things (like #$Animals, #$Robots, #$DivineBeings, etc.)\n
that have desires and intentions and the presumed ability to\n
act on them. An instance of this collection may be an\n
instance of #$AgentiveArtifact or #$Agent (but not both).",
guid = "bec69a78-9c29-11b1-9dad-c379636f7270";
Agent-Generic rel
isu ExistingObjectType,
iss SomethingExisting,
iss PartiallyIntangible,
xor Artifact-NonAgentive;
Class isg AgentiveArtifact;
AgentiveArtifact has
label = "agentive artifact",
comment = "#$AgentiveArtifact is the collection of all\n
artifacts (created by instances of #$Agent) that commonly\n
possess (at least) the apparent ability to make decisions\n
and commence actions more or less independently of those\n
agents. The distinction here is conventional; a certain\n
functional sophistication possessed by instances of\n
#$Artifact that are 'not really living agents'\n
seems to mirror that possessed by 'living agents'.\n
This sense of agency derives from ability or function the\n
artifact possesses, namely the ability to commence actions,\n
independently of agents, based on some internal calculation\n
or deliberation. Example subcollections include #$Computer,\n
#$Robot, #$TrojanHorseComputerProgram.",
guid = "bfa66fc1-9c29-11b1-9dad-c379636f7270";
AgentiveArtifact rel
isu ExistingObjectType,
iss Agent-Generic;
Class isg AgentiveNoun;
AgentiveNoun has
label = "agentive nouns",
comment = "The collection of all nouns in the agentive form.\n
Agentive nouns usually denote the `doer' or\n
`performer' of some action, and often end in `-er'\n
or `-or'. Example: `runner'.",
guid = "bd588033-9c29-11b1-9dad-c379636f7270";
AgentiveNoun rel
isu LinguisticObjectType,
isu SpeechPart,
iss DeVerbalNoun;
Class isg Agility;
Agility has
label = "agility",
comment = "#$Agility is the #$ScriptPerformanceAttributeType\n
for describing actions in which the performer's whole\n
body moves precisely and in a well-coordinated fashion.",
guid = "bd58d302-9c29-11b1-9dad-c379636f7270";
Agility rel
isu ScriptPerformanceAttributeType,
iss ScriptPerformanceAttribute;
Class isg Agreement;
Agreement has
label = "agreements",
comment = "A collection of `objects' with temporal\n
extent. Each element of #$Agreement involves two or more\n
parties, who agree that certain propositions should be true.\n
Making the propositions true may require some action or\n
commitment of wealth on the part of one or more of the\n
#$agreeingAgents. Thus, elements of #$Agreement will\n
usually involve some instances of #$Obligation. Note:\n
Elements of #$Agreement and #$Obligation differ, however, in\n
that an #$obligatedAgent is responsible for the truth of all\n
of the propositions in an obligation. In an agreement, some\n
agents may not be responsible for all of the propositions in\n
the agreement being true. For example, in a loan agreement,\n
the borrower agrees to give the lender back the money, but\n
the borrower is the only #$obligatedAgent for the repayment.\n
Note that #$obligatedAgents need not be among the\n
#$agreeingAgents in the agreement that involves or generates\n
the obligation. For example, the Board of Directors of\n
XYZCorporation may agree that some non-director will assume\n
the post and duties of President of XYZCorporation.\n
Moreover, #$agreeingAgents aren't always\n
obligatedAgents; e.g., Wanda and Paul may agree that Paul\n
alone is obligated to do some task. Examples include\n
instances of #$PeaceAccord, #$LegalAgreement,\n
#$InformalAgreement, #$BusinessPartnershipAgreement,\n
#$WorkAgreement, #$SalesAgreement, #$MaintenanceAgreement,\n
#$Reservation, #$Appointment, etc.",
guid = "bd58afa3-9c29-11b1-9dad-c379636f7270";
Agreement rel
isu ExistingObjectType,
iss IntangibleExistingThing,
iss SupposedToBeMicrotheory,
iss PropositionalInformationThing;
SharedNote isp AgreementNote;
AgreementNote has
label = "agreement note",
comment = "Elements of #$Agreement (and of its subsets) are\n
#$Microtheory instances containing propositions representing\n
what some number of parties have agreed upon. An #$Agreement\n
may contain a set of #$Obligations on the part of one or\n
more of the parties. An #$Agreement may also be just a set\n
of beliefs that the parties have decided to share. To\n
indicate which propositions are true in an #$Agreement,\n
regardless of whether they are true in reality, use\n
#$ist-Agreement. (#$ist-Agreement AGREEMENT PROP) means that\n
PROP is a #$ELSentence-Assertible expressing something that\n
was agreed upon in AGREEMENT. Other relevant vocabulary:\n
(#$agreeingAgents AGREEMENT AGENT) means that AGENT is one\n
of the parties agreeing to AGREEMENT. (#$subAgreements\n
AGREEMENT1 AGREEMENT2) means that AGREEMENT2 is a part of\n
(is included in) AGREEMENT1. (#$governedByAgreement ACTION\n
AGREEMENT) means that ACTION is governed by the terms of\n
AGREEMENT. (#$agreementForbids AGREEMENT AGENT ACTION-TYPE\n
ROLE) means that AGREEMENT forbids AGENT to play ROLE in\n
elements of ACTION-TYPE. (#$agreementRequires AGREEMENT\n
AGENT ACTION-TYPE ROLE) means that AGREEMENT requires AGENT\n
to play ROLE in at least one element of ACTION-TYPE.\n
(#$agreementPeriod AGREEMENT TIME) means that AGREEMENT is\n
considered to be true during the time period TIME.",
guid = "bd58b208-9c29-11b1-9dad-c379636f7270";
Class isg AilmentCondition;
AilmentCondition has
label = "ailments",
comment = "The most general collection of ailment events; a\n
subset of #$PhysiologicalCondition, and a subset of #$Event.\n
An instance of #$AilmentCondition is a dynamic state of\n
sickness, injury, or physiological impairment. Having an\n
ailment is an event: it has temporal aspects, it progresses\n
dynamically, etc., it is not just `being in some static\n
state of un-wellness.' Some subsets of\n
#$AilmentCondition are: #$RespiratoryAilment,\n
#$HeartCondition, #$Cancer, #$MotionSickness, #$Poisoning,\n
#$Infection, #$InjuryCondition. If a particular person\n
suffers from asthma, that is an element of\n
#$AilmentCondition. Each #$AilmentCondition is a state of\n
actual, developed sickness or impairment, rather than the\n
event of getting sick or becoming impaired. Also note that\n
each type of ailment, such as #$Asthma, is the set of all\n
`cases' or `instances' of individuals suffering\n
from that condition.",
guid = "c10c1856-9c29-11b1-9dad-c379636f7270";
AilmentCondition rel
isu PhysiologicalConditionType,
iss PhysiologicalCondition;
Class isg Air;
Air has
label = "air",
comment = "A collection of tangibles; a subset of\n
#$GaseousTangibleThing. Each element of #$Air is one\n
`piece' among all the portions of the atmosphere of the\n
Earth, considered as a substance present in various places,\n
in various quantities, under various pressures, etc.\n
Examples: the AirInAustin; the stuffy air in my office; the\n
thin air atop Annapurna. See also\n
#$TheAtmosphereQuaSinglePieceOfStuff, which is all ambient\n
#$Air on the planet taken as a single object.",
guid = "bd58c00c-9c29-11b1-9dad-c379636f7270";
Air rel
isu TangibleStuffStateType,
iss Mixture,
iss GaseousTangibleThing;
Class isg AirForce;
AirForce has
label = "air forces",
comment = "A collection of military organizations. An\n
element of #$AirForce is a military organization, modern or\n
historical, composed mainly of airborne forces: bombers,\n
fighters, torpedo planes, parachute troops, surveillance\n
aircraft, etc., and having the function of defending or\n
attacking air space, ships, or ground targets.",
guid = "c10c1acc-9c29-11b1-9dad-c379636f7270";
AirForce rel
isu Class,
isu ExistingObjectType;
Class isg AirForcePersonnel;
AirForcePersonnel has
label = "air force people",
comment = "A collection of people, a subset of\n
#$MilitaryPerson. Each element of this collection is\n
somebody who works for an #$AirForce.",
guid = "bd58a7cd-9c29-11b1-9dad-c379636f7270";
AirForcePersonnel rel
isu OccupationType,
iss MilitaryPerson;
Class isg AirRespiration;
AirRespiration has
label = "air respiration",
comment = "A collection of activities constituting a natural\n
#$PhysiologicalFunction; #$AirRespiration is the collection\n
of all #$Respiration events in which an organism trades some\n
of the carbon dioxide in its tissues for oxygen from the atmosphere.",
guid = "bd58bdb6-9c29-11b1-9dad-c379636f7270";
AirRespiration rel
isu DefaultDisjointScriptType,
isu TemporalStuffType,
iss Respiration;
Class isg AirTransportationDevice;
AirTransportationDevice has
label = "aircraft",
comment = "In the #$ModernMilitaryVehiclesMt,\n
#$AirTransportationDevice parallels the military concept of\n
'air platform'; namely, an air vehicle commonly\n
used in military operations to transport weapons, goods, or\n
personnel by air.",
guid = "bd58ae50-9c29-11b1-9dad-c379636f7270";
AirTransportationDevice rel
isu ExistingObjectType,
isu ProductType,
iss TransportationDevice;
Class isg AirlineCompany;
AirlineCompany has
label = "airlines",
comment = "The collection of all air transportation\n
companies. An element of #$AirlineCompany is a\n
#$TransportationCompany that operates airplanes to transport\n
goods or people in exchange for money.",
guid = "bd58aaee-9c29-11b1-9dad-c379636f7270";
AirlineCompany rel
isu ExistingObjectType,
iss CommercialServiceOrganization,
iss Business;
Class isg Airplane;
Airplane has
label = "airplanes",
comment = "The collection of all heavier-than-air,\n
self-powered flying machines (excluding cruise missiles)\n
that get their lift while flying from #$AirplaneWings. Thus,\n
#$Helicopters are excluded because the lift is caused by\n
rotors. A borderline case are planes that take-off\n
vertically, using a turbojet engine, so initially the lift\n
is not due to their wings. In flight, however, such planes\n
will need their wings to stay up in the air.",
guid = "bd58828b-9c29-11b1-9dad-c379636f7270";
Airplane rel
isu ProductType,
isu ExistingObjectType;
Class isg AirplaneRunway;
AirplaneRunway has
label = "runways",
comment = "An airstrip, at an airport, on an aircraft\n
carrier, or in some field, upon which airplanes taxi, take\n
off, and land.",
guid = "bd58910e-9c29-11b1-9dad-c379636f7270";
AirplaneRunway rel
isu ExistingObjectType,
iss PathForWheeledVehicles;
Class isg Airport-Physical;
Airport-Physical has
label = "airports",
comment = "The collection of all airfields, where airplanes\n
take off and land. An #$Airport-Physical definitely has a\n
runway, may or may not have any other buildings. If\n
it's the grounds of an #$AirportOrganization, some of\n
those other features will be present.",
guid = "bd58feaf-9c29-11b1-9dad-c379636f7270";
Airport-Physical rel
isu ExistingObjectType;
Class isg AirportOrganization;
AirportOrganization has
label = "airports",
comment = "A collection of organizations. An element of\n
#$AirportOrganization is an organization that manages and\n
controls particular airports and their appurtenant\n
facilities; e.g., #$LaGuardiaAirport-Organization.",
guid = "bd589fbc-9c29-11b1-9dad-c379636f7270";
AirportOrganization rel
isu ExistingObjectType,
iss Organization;
Class isg Alertness;
Alertness has
label = "alertness",
comment = "#$Alertness is an #$AnimalPhysiologicalAttribute\n
which specifies how sleepy or alert an animal is. Levels of\n
#$Alertness include #$Asleep, #$Sleepy, and #$Awake.",
guid = "bd58a532-9c29-11b1-9dad-c379636f7270";
Alertness rel
iss AnimalPhysiologicalAttribute,
iss ScalarInterval;
Class isg AllergicReaction;
AllergicReaction has
label = "allergic reactions",
comment = "A collection of dynamic, physiological states. An\n
instance of #$AllergicReaction is an event in which an\n
organism which is exposed to a particular substance (e.g.,\n
pollen, mold) develops some abnormality or impairment of its\n
physiological condition as a result of interacting with the\n
substance. Allergic reactions to some types of substances\n
occur widely in members of a species; e.g.,\n
#$PoisonIvyPoisoning in humans. But other allergic\n
reactions affect only a small proportion of a species, such\n
as human allergies to penicillin. This concept is the set\n
of events in which allergic reactions are `taking\n
place', not abstract unrealized potential situations\n
such as `John is allergic to milk.' I.e., if John were\n
allergic to milk, and he drank some, and then proceeded to\n
have a whopping bad allergic reaction, that latter event\n
would be an element of #$AllergicReaction.",
guid = "c0fd6b2f-9c29-11b1-9dad-c379636f7270";
AllergicReaction rel
isu PhysiologicalConditionType,
iss AilmentCondition;
TimeInterval isp Always-TimeInterval;
Always-TimeInterval has
label = "forever",
comment = "The interval of time which encompasses all time.\n
In more general MTs we remain agnostic as to whether this\n
time interval has either a beginning or an end, but if it\n
does, #$Always-TimeInterval begins when time itself begins\n
and ends only when time ends completely. Every other\n
instance of #$TimeInterval is a #$timeSlices of\n
#$Always-TimeInterval. ",
guid = "c0ea3419-9c29-11b1-9dad-c379636f7270";
Class isg Ambulance;
Ambulance has
label = "ambulances",
comment = "The collection of all RoadVehicles that are\n
equipped primarily for transporting wounded, injured or sick persons.",
guid = "bd588cd2-9c29-11b1-9dad-c379636f7270";
Ambulance rel
isu ProductType,
isu ExistingObjectType,
iss RoadVehicle;
Class isg Amphibian;
Amphibian has
label = "amphibians",
comment = "The collection of all #$Organism-Wholes which are\n
members of the #$BiologicalClass Amphibia, being a\n
specialization of #$Vertebrate. Members of this class are\n
smooth skinned #$Vertebrates which hatch from eggs to form\n
aquatic larvae [see #$Larva]. These larvae metamorphose\n
into an air-breathing adult [see AirBreathingVertebrate]\n
(normally) having #$Lungs. Subsets of this collection\n
include #$Frogs and #$Salamanders.",
guid = "bd58e024-9c29-11b1-9dad-c379636f7270";
Amphibian rel
isu BiologicalClass,
isu OrganismClassificationType,
iss Vertebrate,
iss NonPersonAnimal;
Class isg AnatomicalVessel;
AnatomicalVessel has
label = "anatomical vessel",
comment = "The collection of all anatomical vessels in\n
#$Animals. Instances of this collection are tubular animal\n
tissue which acts as a conduit for body fluids or substances\n
passing into or out of the body.",
guid = "be425bb7-9c29-11b1-9dad-c379636f7270";
AnatomicalVessel rel
isu AnimalBodyPartType,
iss Pipe-GenericConduit,
iss AnimalBodyPart,
iss CordlikeObject;
Class isg Anesthesia;
Anesthesia has
label = "anesthesia",
comment = "A collection of events; a subset of #$DrugTherapy\n
(q.v.). In an instance of #$Anesthesia, a\n
#$BiologicalLivingObject undergoes the effect of some\n
instance of #$Anesthetic, the effect of which is to\n
eliminate the perception of pain. #$Anesthesia events occur\n
in connection with other medical care events, so that a\n
patient will not feel the pain or discomfort that would\n
otherwise be associated with those medical procedures.\n
#$Anesthetics are of various chemical kinds, work in various\n
ways, and can be administered in various ways. They may\n
topically numb an area, they may poison the central nervous\n
system to the point where the animal loses consciousness,\n
etc. The resulting anesthetic therapies thus may differ,\n
according to the type of anesthetic used; for example, the\n
patient may or may not be conscious during an instance of\n
#$Anesthesia. See also #$AdministeringADrug.",
guid = "c0fd53a3-9c29-11b1-9dad-c379636f7270";
Anesthesia rel
isu Class,
iss DrugTherapy;
Class isg Anger;
Anger has
label = "outrages",
comment = "Intense feeling of displeasure and usually of\n
antagonism. This is a #$Collection --- for an explanation\n
of that, see #$Happiness. Some more specialized\n
#$FeelingAttributeTypes than #$Anger include #$Belligerence, etc.",
guid = "bd58c448-9c29-11b1-9dad-c379636f7270";
Anger rel
isu FeelingAttributeType,
iss Frustration;
Class isg Angle;
Angle has
label = "angles",
comment = "A subset of #$GeometricThing. Each element of\n
#$Angle is formed by two lines diverging from the same point\n
or two surfaces diverging from the same line. Examples\n
include spatially localized objects, such as the angle\n
formed by the intersection of two walls, and abstract\n
objects, such as the angle formed by the intersection of two\n
(abstract) lines.",
guid = "bd61bd87-9c29-11b1-9dad-c379636f7270";
Angle rel
isu GenericShapeType,
iss GeometricThing;
Class isg AngularAccelerationRate;
AngularAccelerationRate has
label = "angular acceleration rate",
comment = "#$AngularAccelerationRate is the rate at which the\n
#$RateOfRotation of an object changes.It is a measurable\n
physical quantity, measured in units such as radians per\n
second per second.",
guid = "bd59080e-9c29-11b1-9dad-c379636f7270";
AngularAccelerationRate rel
isu MeasurableAttributeType,
isu AttributeType,
isu DerivedNumericAttributeType,
iss ScalarInterval,
iss PhysicalAttribute;
Class isg Animal;
Animal has
label = "animals",
comment = "The collection of all animals; this large class of\n
organisms is one instance of #$BiologicalKingdom. Animals\n
are typically motile, living, whole organisms; they are\n
elements of #$Heterotroph, incapable of performing instances\n
of #$Photosynthesis. Animal cells contain cholesterol and\n
lack cell walls made of cellulose. #$Person is a subset of\n
#$Animal; see also #$NonPersonAnimal.",
guid = "bd58b031-9c29-11b1-9dad-c379636f7270";
Animal rel
isu BiologicalKingdom,
isu OrganismClassificationType,
iss PerceptualAgent,
iss AnimalBLO,
iss Organism-Whole,
iss Agent,
iss SolidTangibleThing,
xor VegetableMatter,
xor Plant,
xor DeadAnimal;
Class isg AnimalActivity;
AnimalActivity has
label = "activities",
comment = "A collection of events. Each element of\n
#$AnimalActivity is an action whose performer(s) (see\n
#$doneBy) belong to the collection #$Animal.",
guid = "bd588daa-9c29-11b1-9dad-c379636f7270";
AnimalActivity rel
isu TemporalStuffType,
iss Action;
Class isg AnimalBLO;
AnimalBLO has
label = "animal body parts",
comment = "The subset of #$BiologicalLivingObject which\n
includes all the elements of #$Animal and of\n
#$AnimalBodyPart and #$AnimalBodyRegion.",
guid = "c0fe0761-9c29-11b1-9dad-c379636f7270";
AnimalBLO rel
isu ExistingObjectType,
iss BiologicalLivingObject;
Class isg AnimalBodyPart;
AnimalBodyPart has
label = "body parts",
comment = "The collection of all the anatomical parts and\n
physical regions of all living animals; a subset of\n
#$OrganismPart. Each element of #$AnimalBodyPart is a piece\n
of some live animal and thus is itself an instance of\n
#$BiologicalLivingObject. #$AnimalBodyPart includes both\n
highly localized organs (e.g., hearts) and physical systems\n
composed of parts distributed throughout an animal's\n
body (such as its circulatory system and nervous system).\n
By default, all elements of #$AnimalBodyPart are considered\n
a part (see #$anatomicalParts) of some instance of #$Animal.\n
However, there are exceptional cases, e.g., a severed limb,\n
hair which has fallen out, detached parts of dead animals,\n
blood which has poured out of a body.",
guid = "bd58801c-9c29-11b1-9dad-c379636f7270";
AnimalBodyPart rel
isu ExistingObjectType,
iss AnimalBodyRegion,
xor PlantPart;
Class isg AnimalBodyPartType;
AnimalBodyPartType has
label = "animal body part type",
comment = "The collection of all the types of\n
#$AnimalBodyParts. An #$AnimalBodyPartType is a\n
characterization of body parts by structure and/or function.\n
Some elements of this collection include #$SpinalColumn,\n
#$Eyelash, #$NervousSystem, #$Urethra,\n
#$Wing-AnimalBodyPart, #$HeelOfPalm, etc. As can be seen\n
from those examples, #$AnimalBodyPartType is not organized\n
along species/order/class/phylum/... taxonomic lines.",
guid = "bd58e7da-9c29-11b1-9dad-c379636f7270";
AnimalBodyPartType rel
isu CollectionType,
isu SiblingDisjointCollection;
Class isg AnimalBodyRegion;
AnimalBodyRegion has
label = "animal body region",
comment = "The set of parts of an animal's body that one\n
might point to, operate on, photograph, transplant, etc. So\n
this is a collection of (conceptual) spatial subdivisions of\n
the bodies of #$Animals, generally contiguous and having\n
some more or less clear boundary. Some elements of this\n
collections are Einstein's head, #$SantasBeard, and\n
Babe Ruth's right arm. Other elements of this set are\n
what might be considered unhealthy body regions, such as a\n
blister, a puncture wound, a bruise, etc. -- but those are\n
still clearly a part of an animal's body, can be\n
pointed to, photographed, bandaged up, etc. Note that\n
this concept is quite different from an animal body\n
`system' (such as the lymph system, the nervous system,\n
etc.) which comprises a small portion of an animal's\n
total mass but is distributed throughout the animal's\n
body -- see #$AnimalBodyPart. (At the naive, commonsense\n
level of physiology, and for almost all purposes, it is\n
perfectly acceptable to conceptualize Santa's beard as\n
one #$AnimalBodyRegion, and the same for Farrah\n
Fawcett's hair, etc. A borderline case of this is:\n
Cher's fingernails. In some contexts, one would treat\n
those as an #$AnimalBodyRegion, and in other contexts one\n
would treat them as ten separate #$AnimalBodyRegions.)",
guid = "bd5adaa1-9c29-11b1-9dad-c379636f7270";
AnimalBodyRegion rel
isu ExistingObjectType,
iss OrganismPart,
iss AnimalBLO;
Class isg AnimalMigration;
AnimalMigration has
label = "migrations",
comment = "The collection of regular, species-linked\n
movements of an animal or group of animals from one place to\n
another, usually with a return to the starting point after a\n
certain period of time. In some species, the migration\n
cycle occurs once in a lifetime, while others migrate\n
annually on a seasonal basis. Migration is typically\n
linked with an animal's reproductive cycle (as in\n
salmon), but may also involve seasonal relocation to a more\n
hospitable climate and/or more plentiful food supply. For\n
example, many birds exhibit seasonal migration; e.g., native\n
Northeastern U.S. birds that spend their winters in the\n
Southern U.S.",
guid = "c1009284-9c29-11b1-9dad-c379636f7270";
AnimalMigration rel
isu TemporalObjectType,
iss Translation-RoundTrip,
iss LocomotionEvent-Animal;
Class isg AnimalPhysiologicalAttribute;
AnimalPhysiologicalAttribute has
label = "physiological attributes of animals",
comment = "The broadest collection of attributes of #$Animals\n
that describe the physiological aspects of an animal,\n
including its physiological (1) capacities, (2) conditions,\n
and (3) states. Examples include: (1) Capacities:\n
#$Fertile, #$HearingImpaired, #$Paraplegic; (2) Conditions:\n
#$Anemic, #$AthleticPhysicalBuild; (3) States:\n
#$Intoxicated, #$Injured, #$Inflamed.\n
#$PlantPhysiologicalAttributes, such as #$InBloom, are excluded.",
guid = "bd58a577-9c29-11b1-9dad-c379636f7270";
AnimalPhysiologicalAttribute rel
isu AttributeType,
iss PhysiologicalAttribute;
Class isg AnimalSound;
AnimalSound has
label = "animal sounds",
comment = "A collection of information bearing things (IBTs);\n
a subset of #$InformationBearingWavePropagation. Each\n
element of #$AnimalSound is a sound of a type which\n
originally was, and typically is, made by an animal using\n
just its body parts (though such a sound may subsequently\n
have been reproduced by imitation or recording). For\n
example, instances of #$Birdsong, #$NeighingSound,\n
#$PurringSound, #$BarkingSound, #$BrayingSound. Note that\n
the restriction to sounds produced by body parts alone\n
excludes noises produced by moving external objects; i.e.,\n
#$AnimalSound does NOT include rustling the leaves\n
underfoot, splashing water, or playing a musical instrument.",
guid = "bd620dbf-9c29-11b1-9dad-c379636f7270";
AnimalSound rel
isu TemporalStuffType,
iss AudibleSound,
iss InformationBearingWavePropagation;
Class isg AnimalWalkingProcess;
AnimalWalkingProcess has
label = "animal walking processes",
comment = "The collection of instances of #$Walking-Generic\n
in which the #$locomotor is an #$Animal.",
guid = "bd58d77d-9c29-11b1-9dad-c379636f7270";
AnimalWalkingProcess rel
isu DefaultDisjointScriptType,
isu ObjectType,
isu TemporalStuffType,
iss SimpleWholeBodyMovement,
iss SingleDoerAction,
iss LocomotionProcess-Animal;
Class isg AnnualClimateCycle;
AnnualClimateCycle has
label = "climates",
comment = "A collection of events. Each element of\n
#$AnnualClimateCycle is an extended event, one year in\n
length, which encompasses #$subEvents describing the\n
changing of the seasons. Subsets include\n
#$TemperateClimateCycle, #$HumidSubtropicalClimateCycle,\n
etc. See also the comments on #$ClimateCycleType, #$hasClimateType.",
guid = "bd5901a2-9c29-11b1-9dad-c379636f7270";
AnnualClimateCycle rel
isu Class,
iss WeatherEvent,
xor ImmediateWeatherProcess;
Class isg AnnualEventType;
AnnualEventType has
label = "annual event type",
comment = "A collection of collections. The instances of an\n
element of #$AnnualEventType are synchronized with the\n
calendar. If ?X is an #$AnnualEventType, then one occurs\n
each year. For example, #$ChristmasHoliday is an\n
#$AnnualEventType, because one occurs each year,\n
synchronized with the calendar.",
guid = "be1ed0b5-9c29-11b1-9dad-c379636f7270";
AnnualEventType rel
isu CollectionType,
isu Class,
iss TemporallyDisjointIntervalType;
Class isg AntiSymmetricBinaryPredicate;
AntiSymmetricBinaryPredicate has
label = "anti symmetric binary predicate",
comment = "A collection of predicates; the subset of\n
#$BinaryPredicate whose elements represent antisymmetric\n
relations. A predicate F is an element of\n
#$AntiSymmetricBinaryPredicate if and only if F is a binary\n
predicate and, if both (F X Y) and (F Y X) hold, then X=Y,\n
for every X,Y within the domain and range of F. For\n
example, #$greaterThanOrEqualTo, #$compatibleBloodTypes.\n
Note this additional restriction: A Cyc predicate F can be\n
an element of #$AntiSymmetricBinaryPredicate only if the\n
type (i.e., arg-Isa) constraint applicable to F's first\n
argument is not disjoint with the type constraint applicable\n
to F's second argument. See also #$NoteOnArgumentTypingAndPropertiesOfRelations.",
guid = "bdc9fb94-9c29-11b1-9dad-c379636f7270";
AntiSymmetricBinaryPredicate rel
isu CoreConstant,
isu PredicateCategory,
iss Property;
Class isg AntiTransitiveBinaryPredicate;
AntiTransitiveBinaryPredicate has
label = "anti transitive binary predicate",
comment = "A collection of predicates; the subset of\n
#$BinaryPredicate whose elements represent anti-transitive\n
relations. A predicate F is an element of\n
#$AntiTransitiveBinaryPredicate if and only if F is a binary\n
predicate and, for every X,Y,Z in the domain of F, (#$not\n
(#$and (F X Y)(F Y Z)(F X Z))). Note this additional\n
restriction: A Cyc predicate F can be an element of\n
#$AntiTransitiveBinaryPredicate only if the type (i.e.,\n
arg-Isa) constraint applicable to F's first argument is\n
not disjoint with the type constraint applicable to F's\n
second argument. See also #$NoteOnArgumentTypingAndPropertiesOfRelations.",
guid = "bf8bdc58-9c29-11b1-9dad-c379636f7270";
AntiTransitiveBinaryPredicate rel
isu CoreConstant,
isu PredicateCategory,
iss IrreflexiveBinaryPredicate;
Class isg Anticipation-Feeling;
Anticipation-Feeling has
label = "expectancies",
comment = "Emotion accompanying an expectation of something\n
pleasant in the foreseeable future. This is a collection;\n
for an explanation of a typical #$FeelingAttributeType, see\n
#$Happiness. ",
guid = "bd58cefc-9c29-11b1-9dad-c379636f7270";
Anticipation-Feeling rel
isu FeelingAttributeType,
iss FeelingAttribute;
Class isg Apathy;
Apathy has
label = "apathy",
comment = "A lack of interest or concern. If someone is\n
feeling some measure of #$Apathy, then they typically will\n
have little or no response to things normally expected to\n
excite emotion or interest. This is a #$Collection --- for\n
an explanation of that, see #$Happiness. A related\n
#$FeelingAttributeType is #$Boredom.",
guid = "bd5893b4-9c29-11b1-9dad-c379636f7270";
Apathy rel
isu FeelingAttributeType,
iss FeelingAttribute;
Class isg Appendage-AnimalBodyPart;
Appendage-AnimalBodyPart has
label = "appendages",
comment = "The collection of all appendages of #$Animals. An\n
appendage is an #$AnimalBodyPart that is connected to, and\n
extends from, the animal's #$Torso (or else from\n
another of its appendages, such as a hand extending from an\n
arm). Each appendage is used by the #$Animal for one or\n
more functions; altogether, appendages serve a wide variety\n
of functions such as locomotion, manipulation, sensing,\n
fighting, scratching, heat dissipation, balance, etc.\n
Appendages are not crucial for the life of the animal, thus\n
a #$Neck-AnimalBodyPart or #$Head-AnimalBodyPart is not\n
considered to be an appendage.",
guid = "bd5882f8-9c29-11b1-9dad-c379636f7270";
Appendage-AnimalBodyPart rel
isu ExistingObjectType,
isu AnimalBodyPartType,
iss AnimalBodyPart,
iss BiologicalLivingObject;
Class isg AppropriatingSomething;
AppropriatingSomething has
label = "appropriations",
comment = "A collection of events; a subset of\n
#$TakingSomething and of #$GainingUserRights. In an\n
instance of #$AppropriatingSomething, an #$Agent takes\n
something that no one else has user rights over, such as air\n
for breathing, or some object which at that time belongs to\n
no one (e.g.,a dime lying in the street). Note: The English\n
verb `appropriate' can also mean to take something away\n
from someone else, against their will and wrongfully, but\n
that is not what is meant here. For that, see #$Stealing-Generic.",\n
guid = "bd58eea3-9c29-11b1-9dad-c379636f7270";
AppropriatingSomething rel
isu DefaultDisjointScriptType,
isu TemporalObjectType,
iss TakingSomething,
xor TransferringPossession;
Class isg Approval;
Approval has
label = "sanctions",
comment = "The emotion of viewing positively a state of\n
affairs or other agent's actions. This is a\n
collection; for an explanation of a typical\n
#$FeelingAttributeType, see #$Happiness.",\n
guid = "be00bc14-9c29-11b1-9dad-c379636f7270";
Approval rel
isu FeelingAttributeType,
iss Satisfaction;
Class isg April;
April has
label = "April",
comment = "The collection of all Aprils, the fourth month\n
of the year in the #$JulianCalendar.",\n
guid = "bd58c279-9c29-11b1-9dad-c379636f7270";
April rel
isu MonthOfYearType,
isu CoreConstant,
iss CalendarMonth;
Class isg AquaticOrganism;
AquaticOrganism has
label = "aquatic organisms",
comment = "The collection of organisms adapted to life\n
underwater, which spend all or most of their time immersed\n
in water. This includes the elements of #$Fish, also many\n
instances of #$Mollusk, #$SeaMammal, etc.",\n
guid = "bd589715-9c29-11b1-9dad-c379636f7270";
AquaticOrganism rel
isu OrganismTypeByHabitat,
iss Organism-Whole;
NaturalLanguage isp ArabicLanguage;
ArabicLanguage has
label = "Arabic",
comment = "A Semitic language spoken by a large number of\n
people in North Africa and the Middle East.",\n
guid = "bd588730-9c29-11b1-9dad-c379636f7270";
ShapeAttribute isp ArcShaped;
ArcShaped has
label = "arc shaped",
comment = "The instance of #$ShapeAttribute held by those\n
things whose shape is described with the arc of some segment\n
of a circle. For instance, a section of the equator would\n
be described as arc shaped.",\n
guid = "c007e4fe-9c29-11b1-9dad-c379636f7270";
Class isg Area;
Area has
label = "areas",
comment = "A collection of physical attributes. Each element\n
of #$Area is an amount of two-dimensional space, i.e., a\n
surface. Elements of #$Area may be either a fixed interval,\n
such as the area of a rectangle 5 cm x 10 cm, or a range,\n
such as the area of a city lot. See #$UnitOfArea for the\n
units used by Cyc to measure areas.",\n
guid = "bd58c301-9c29-11b1-9dad-c379636f7270";
Area rel
isu DerivedNumericAttributeType,
iss PhysicalAttribute,
iss ScalarInterval;
Class isg ArgGenlAttributeBinaryPredicate;
ArgGenlAttributeBinaryPredicate has
label = "arg genl attribute binary predicate",
comment = "Those instances of both #$ArgTypeBinaryPredicate\n
and #$ArgGenlAttributePredicate used to specify the required\n
attribute of an argument of #$Relation. Each instance PRED\n
of this collection is a binary predicate with the following\n
properties: ARG1 is an instance of #$Relation, and ARG2 is\n
an instance of #$AttributeValue. (PRED ARG1 ARG2) means\n
that some argument of ARG1 is constrained to be a spec\n
attribute of ARG2, where PRED determines the argument place\n
in question.",\n
guid = "c0aa7393-9c29-11b1-9dad-c379636f7270";
ArgGenlAttributeBinaryPredicate rel
isu CoreConstant,
isu RelationshipType,
isu PredicateCategory,
iss ArgTypeBinaryPredicate;
Class isg ArgGenlAttributeTernaryPredicate;
ArgGenlAttributeTernaryPredicate has
label = "arg genl attribute ternary predicate",
comment = "Those instances of both #$ArgTypeTernaryPredicate\n
and #$ArgGenlAttributePredicate used to specify the required\n
#$genlAttributes of an argument of a #$Relation; the arg1 is\n
the Relation; the arg2 is the argument constrained; the arg3\n
is the required #$genlAttributes #$AttributeValue.",\n
guid = "bf4fcfa6-9c29-11b1-9dad-c379636f7270";
ArgGenlAttributeTernaryPredicate rel
isu CoreConstant,
isu RelationshipType,
isu PredicateCategory,
iss ArgTypeTernaryPredicate;
Class isg ArgGenlBinaryPredicate;
ArgGenlBinaryPredicate has
label = "arg genl binary predicate",
comment = "Those instances of both #$BinaryPredicate and\n
#$ArgGenlPredicate used to specify the required #$genls of\n
an argument of a #$Relation; the arg1 is the #$Relation; the\n
arg2 is the required #$genls #$Collection.",\n
guid = "bf1eedc8-9c29-11b1-9dad-c379636f7270";
ArgGenlBinaryPredicate rel
isu PredicateCategory,
isu RelationshipType,
isu CoreConstant,
iss ArgTypeBinaryPredicate;
Class isg ArgGenlTernaryPredicate;
ArgGenlTernaryPredicate has
label = "arg genl ternary predicate",
comment = "Those instances of both #$TernaryPredicate and\n
#$ArgGenlPredicate used to specify the required #$genls of\n
an argument of a #$Relation; the arg1 is the Relation; the\n
arg2 is the argument constrained; the arg3 is the required\n
#$genls #$Collection.",\n
guid = "bd97e378-9c29-11b1-9dad-c379636f7270";
ArgGenlTernaryPredicate rel
isu PredicateCategory,
isu RelationshipType,
isu CoreConstant,
iss ArgTypeTernaryPredicate,
iss TernaryPredicate;
Class isg ArgIsaBinaryPredicate;
ArgIsaBinaryPredicate has
label = "arg isa binary predicate",
comment = "Those instances of both #$BinaryPredicate and\n
#$ArgIsaPredicate used to specify the required #$isa of an\n
argument of a #$Relation; the arg1 is the #$Relation; the\n
arg2 is the required #$isa #$Collection.",\n
guid = "bfa4fe8c-9c29-11b1-9dad-c379636f7270";
ArgIsaBinaryPredicate rel
isu PredicateCategory,
isu RelationshipType,
isu CoreConstant,
iss ArgTypeBinaryPredicate;
Class isg ArgIsaTernaryPredicate;
ArgIsaTernaryPredicate has
label = "arg isa ternary predicate",
comment = "Those instances of both #$TernaryPredicate and\n
#$ArgIsaPredicate used to specify the required #$isa of an\n
argument of a #$Relation; the arg1 is the #$Relation; the\n
arg2 is the argument constrained; the arg3 is the required\n
#$isa #$Collection.",\n
guid = "bfedab5d-9c29-11b1-9dad-c379636f7270";
ArgIsaTernaryPredicate rel
isu PredicateCategory,
isu RelationshipType,
isu CoreConstant,
iss ArgTypeTernaryPredicate,
iss TernaryPredicate;
Class isg ArgTypeBinaryPredicate;
ArgTypeBinaryPredicate has
label = "arg type binary predicate",
comment = "Those instances of both #$BinaryPredicate and\n
#$ArgTypePredicate used to specify the required #$isa or\n
#$genls or #$genlAttributes of an argument of a #$Relation;\n
the arg1 is the #$Relation; the arg2 is the required type, a\n
#$Collection or #$AttributeValue.",\n
guid = "beb5aba2-9c29-11b1-9dad-c379636f7270";
ArgTypeBinaryPredicate rel
isu RelationshipType,
isu CoreConstant,
isu PredicateCategory,
iss Property;
Class isg ArgTypeTernaryPredicate;
ArgTypeTernaryPredicate has
label = "arg type ternary predicate",
comment = "Those instances of both #$TernaryPredicate and\n
#$ArgTypePredicate used to specify the required #$isa or\n
#$genls or #$genlAttributes of an argument of a #$Relation;\n
the arg1 is the Relation; the arg2 is the argument\n
constrained; the arg3 is the required type: a #$Collection\n
or an #$AttributeValue.",\n
guid = "c00a42b9-9c29-11b1-9dad-c379636f7270";
ArgTypeTernaryPredicate rel
isu CoreConstant,
isu RelationshipType,
isu PredicateCategory,
iss TernaryPredicate;
SharedNote isp ArgumentTypeChecking-FORTSvsNonReifiedNATS;
ArgumentTypeChecking-FORTSvsNonReifiedNATS has
label = "argument type checking - f o r t svs non reified n a
t s",
comment = "Arg-type checking imposes somewhat weaker\n
constraints on non-reified function terms than it does for\n
forts (first order reified terms). Specifically,\n
non-reified terms are required only to be consistent with\n
arg-isa and arg-genls constraints using disjointness\n
reasoning constraint is satisfied when no disjointness\n
violation can be found. This is significantly weaker than\n
the constraints imposed on forts: forts must provably\n
satisfy applicable arg-isa and arg-genl constraints using\n
isa and genls reasoning.",\n
guid = "bd6bae41-9c29-11b1-9dad-c379636f7270";
Class isg Arm;
Arm has
label = "arms",
comment = "The collection of all animal arms. An #$Arm of an\n
animal is one of its #$AnimalBodyParts, more particularly\n
one of its appendages, a limb which it uses for manipulation\n
moreso than for locomotion. A #$Hand is considered part of\n
an #$Arm.",\n
guid = "bd58e9e5-9c29-11b1-9dad-c379636f7270";
Arm rel
isu SymmetricAnatomicalPartType,
isu AnimalBodyPartType,
iss BiologicalLivingObject;
Class isg ArmMovement;
ArmMovement has
label = "arm movement",
comment = "The collection of any movements of an arm that are\n
generated by the #$Animal whose arm it is, through nerve\n
impulses to the arm. Physically, an #$ArmMovement involves\n
movement of the upper arm or elbow in relation to the body\n
to which it is attached.",\n
guid = "bd58a69d-9c29-11b1-9dad-c379636f7270";
ArmMovement rel
isu DefaultDisjointScriptType,
isu TemporalStuffType,
iss BodyMovementEvent;
Class isg Army-BranchOfService;
Army-BranchOfService has
label = "regular armies",
comment = "The collection of all modern nation-states'\n
armies (the whole branch of service). This sense of\n
'army' is different from an 'Army' or\n
'Army Group' in the sense of a military unit. It\n
is customary to refer to very large military units in the\n
fields as 'armies', e.g. the American 5th Army in\n
the European Theater in WWII. This is not the sense being\n
referred to here--'the Army' itself is intended.",\n
guid = "bf6e8301-9c29-11b1-9dad-c379636f7270";
Army-BranchOfService rel
isu Class,
isu ExistingObjectType,
xor Navy;
Class isg ArmyPersonnel;
ArmyPersonnel has
label = "army people",
comment = "A collection of people, a subset of\n
#$MilitaryPerson. Each element of this collection is\n
somebody who works for an #$Army-BranchOfSevice.",\n
guid = "bd58eecc-9c29-11b1-9dad-c379636f7270";
ArmyPersonnel rel
isu OccupationType,
iss Soldier;
Class isg ArrestingSomeone;
ArrestingSomeone has
label = "arrests",
comment = "A collection of events. In an instance of\n
#$ArrestingSomeone, a law enforcement officer arrests\n
another person, who is thereupon taken into custody (#$HeldCaptive).",
guid = "bd66906e-9c29-11b1-9dad-c379636f7270";
ArrestingSomeone rel
isu TemporalObjectType,
iss CapturingAnimal;
Class isg ArtObject;
ArtObject has
label = "works of art",
comment = "A collection of information bearing objects\n
(IBOs). Each element of #$ArtObject is a tangible object\n
that is a work, or a reproduction of a work, in one of the\n
representational or plastic arts, such as a painting,\n
sculpture, ceramic piece, quilt, stained glass composition,\n
etc. #$ArtObject does NOT include plays, movies, music,\n
performance art, or other activities. #$ArtObject is a\n
subset of #$InformationBearingObject, but its elements need\n
not have propositional content, although they may. Examples\n
of #$ArtObject: the #$StatueOfLiberty, the Mona Lisa, a\n
poster reproduction of Van Gogh's `Starry Night',\n
Rodin's `Burghers of Calais', a piece of Ju ware\n
from the Sung Dynasty, the windows of Chartres Cathedral, a\n
series of prints by Picasso.",
guid = "bd58c7b8-9c29-11b1-9dad-c379636f7270";
ArtObject rel
isu ExistingObjectType,
iss CompositeTangibleAndIntangibleObject,
iss Artifact,
iss PartiallyTangibleProduct,
iss VisualInformationSource;
Class isg Arthropod;
Arthropod has
label = "arthropods",
comment = "An instance of #$BiologicalPhylum whose\n
#$taxonMembers include (mostly) the numerous collections of\n
chitin-armored invertebrates that have jointed bodies and\n
limbs, e.g., insects, spiders, crustaceans, etc.",
guid = "bd58b048-9c29-11b1-9dad-c379636f7270";
Arthropod rel
isu BiologicalPhylum,
isu OrganismClassificationType,
iss Animal,
iss Invertebrate;
Class isg Artifact;
Artifact has
label = "artifacts",
comment = "A collection of tangible things. An instance of\n
#$Artifact is a tangible which was more or less\n
intentionally created by an #$Agent (or a group of #$Agents\n
working together) to serve some purpose or perform some\n
function. By `created', we don't require that the\n
matter itself be created, it is often just the result of\n
some sort of assemblage or modification process, such as a\n
wooden flute that's been whittled from a tree branch, a\n
sawhorse that's been put together out of boards and\n
nails, a coin that's been minted by embossing or by\n
melting liquid silver into a mold, etc. Let's\n
consider some positive and negative examples. In addition\n
to the obvious human artifacts (buildings, tools, textiles,\n
power lines), this collection includes certain sorts of\n
things made by #$Animals, such as bird nests, termite\n
mounds, and beaver dams. Something which just barely\n
squeaks through the intended meaning of this concept is\n
#$YaleUniversity. In addition to the abstract legal entity,\n
it consists of a set of physical buildings, furnishings,\n
etc. By contrast, an organization that had no headquarters\n
building, equipment, tangible property, etc. would not be an\n
artifact. Similarly, a fictional character such as Tom\n
Sawyer is not an artifact (in the context of the story, Tom\n
is not an artifact because he is a real boy; in the context\n
of the real world, Tom is not an artifact because he has no\n
tangible component whatsoever.) While some artifacts may\n
be alive, or contain living subparts, we do not intend this\n
collection to encompass all organisms which resulted from\n
normal biological reproductive processes. Your child is not\n
an artifact. If you do an oil painting of a house that is\n
an artifact, but much more borderline is what you get if you\n
take a rock and just paint it a solid color, say white. In\n
general that won't be an artifact unless it serves some\n
purpose, such as marking the shoulder of a roadway, but more\n
questionable cases are if the purpose of the white rock is\n
just `to be sold as art' or `to look pretty.' The\n
white rock might thus be an artifact in certain contexts,\n
but not in others. Not every instance of #$Path-Generic\n
(q.v.) is necessarily an instance of #$Artifact. For\n
example, some channels used for navigation may not be\n
artifacts, because even though they are marked with human\n
artifacts (i.e., channel markers) as locations where ships\n
may safely travel, the channel itself may have been a\n
naturally occurring pre-existing thing -- e.g., the\n
#$EnglishChannel. If a #$ChannelOrStrait were produced or\n
maintained only by constant dredging, it might count as an\n
artifact. By contrast, each #$Canal, such as #$SuezCanal,\n
is almost certain to be an #$Artifact. See also #$Product.",
guid = "bd5907fd-9c29-11b1-9dad-c379636f7270";
Artifact rel
isu Class,
iss Individual,
xor Agent;
Class isg Artifact-NonAgentive;
Artifact-NonAgentive has
label = "artifact - non agentive",
comment = "#$Artifact-NonAgentive is the collection of all\n
artifacts that in no plausible, literal sense may be\n
considered to have a kind of agency in ordinary,\n
non-fictional, straightforward contexts -- i.e. they are not\n
instances of #$Agent-Generic. (Exceptions within\n
metaphorical, fanciful, or fictional context could supersede\n
membership in this collection: when someone says, 'My\n
hairdryer hates me', the hairdryer would not be an\n
instance of #$Artifact-NonAgentive in that special context.)\n
Example subcollections: #$StoneStuff, #$Air, #$Tooth,\n
#$Caffeine. #$AgentiveArtifacts like #$Robots are excluded.",
guid = "bd8e4b86-9c29-11b1-9dad-c379636f7270";
Artifact-NonAgentive rel
isu ExistingObjectType,
xor BiologicalLivingObject,
xor Agent-Generic;
Class isg ArtificialMaterial;
ArtificialMaterial has
label = "artificial substances",
comment = "A collection of substances; a subset of\n
#$Artifact. An instance of #$ArtificialMaterial is a\n
portion of artificial stuff that was intentionally made by\n
some agent(s), such as #$Plastic or #$SweetNLow. Since\n
#$ArtificialMaterials are intentionally produced, this class\n
does not normally include materials which are merely\n
#$byProducts or #$wasteProducts of an intentional process.\n
However, what is a byproduct at one time or in one context\n
may be a useful material that would count as an instance of\n
#$ArtificialMaterial in another.",
guid = "bd590222-9c29-11b1-9dad-c379636f7270";
ArtificialMaterial rel
isu ExistingStuffType,
iss Artifact,
xor NaturalTangibleStuff;
Alertness isp Asleep;
Asleep has
label = "asleep",
comment = "#$Asleep is the #$Alertness attribute of being\n
asleep. #$Asleep is a specialization of #$Unconscious.\n
(#$holdsIn (#$YearFn 1776) (#$alertnessLevel RipVanWinkle #$Asleep)).",
guid = "bd58a6ff-9c29-11b1-9dad-c379636f7270";
Class isg AssociativeRelation;
AssociativeRelation has
label = "associative relation",
comment = "An important subset of #$Relation. Each element\n
RELN of #$AssociativeRelation is a relationship such that\n
the expressions (RELN A (RELN B C)) and (RELN (RELN A B) C)\n
both have the same value or meaning; e.g., #$PlusFn,\n
#$TimesFn, #$or, #$and. More generally, the truth of an\n
asserted associative relation is unaffected by any change\n
from one well-formed parenthesization of its use (on a given\n
sequence of arguments) to another.",
guid = "c14862c2-9c29-11b1-9dad-c379636f7270";
AssociativeRelation rel
isu CoreConstant,
isu RelationshipType,
iss Relation;
Class isg AstronomicalObject;
AstronomicalObject has
label = "astronomical objects",
comment = "A collection of tangibles. Each element of\n
#$AstronomicalObject is an object of interest to\n
astronomers, which includes the Earth along with other\n
objects in outer space. Some, but not all, elements of\n
#$AstronomicalObject belong to #$CelestialObject, the\n
collection of heavenly bodies visible from earth. Examples:\n
#$Polaris-TheStar, the #$Sun, #$PlanetSaturn. See also: #$HeavenlyBody.",
guid = "bd58d178-9c29-11b1-9dad-c379636f7270";
AstronomicalObject rel
isu ExistingObjectType,
iss TangibleThing,
iss InanimateObject-Natural;
Class isg AsymmetricBinaryPredicate;
AsymmetricBinaryPredicate has
label = "asymmetric binary predicate",
comment = "A collection of predicates; the subset of\n
#$AntiSymmetricBinaryPredicate whose elements represent\n
asymmetric relations. A predicate F is an element of\n
#$AsymmetricBinaryPredicate if and only if F is a binary\n
predicate and (F X Y) implies (#$not (F Y X)). For example,\n
#$northOf, #$children, #$greaterThan, #$overrides. Note\n
this additional restriction: A Cyc predicate F can be an\n
element of #$AsymmetricBinaryPredicate only if the type\n
(i.e., arg-Isa) constraint applicable to F's first\n
argument is not disjoint with the type constraint applicable\n
to F's second argument. See also #$NoteOnArgumentTypingAndPropertiesOfRelations.",
guid = "bd6561fc-9c29-11b1-9dad-c379636f7270";
AsymmetricBinaryPredicate rel
isu CoreConstant,
isu PredicateCategory,
iss IrreflexiveBinaryPredicate,
iss AntiSymmetricBinaryPredicate,
xor SymmetricBinaryPredicate;
Class isg AtLeastPartiallyMentalEvent;
AtLeastPartiallyMentalEvent has
label = "mental events",
comment = "A collection of events. Each event that is an\n
instance of #$AtLeastPartiallyMentalEvent has an actor or\n
group of actors (see #$actors) whose mental functions are\n
involved. The collection includes such things as dreaming,\n
perceiving, sensing, theorizing about something, having a\n
realization, making a decision, building, designing\n
something, and consciously carrying out a task. Some of\n
those examples are actions as well as events (see #$doneBy\n
or #$performedBy). Note that the above list includes both\n
purposeful events and non-purposeful events that involve\n
mental functions. Note also that any event that has a\n
mental component is also an instance of this collection so\n
that events like preparing lunch would be classified as\n
instances of #$AtLeastPartiallyMentalEvent. It is almost\n
always possible and preferable to use one of the specs of\n
#$AtLeastPartiallyMentalEvent. If an event seems mostly\n
mental in nature, modulo neurons firing and related brain\n
activity, use #$StrictlyMentalEvent or one of its specs. If\n
it essentially involves both mental and physical activity,\n
see #$CompositePhysicalAndMentalEvent or\n
#$PurposefulCompositePhysicalAndMentalActivity. For mental\n
events that are intentionally and purposefully performed,\n
see the subset #$PurposefulMentalActivity.",
guid = "bd588615-9c29-11b1-9dad-c379636f7270";
AtLeastPartiallyMentalEvent rel
isu TemporalStuffType,
iss AnimalActivity,
iss Event;
Class isg Athlete;
Athlete has
label = "athletes",
comment = "A collection of persons. Each element of\n
#$Athlete is a person who trains to compete in contests\n
involving physical agility, stamina, or strength. In the\n
#$JobMt, #$Athlete is a subset of #$Professional (q.v.), and\n
hence in that microtheory represents the collection of\n
professional athletes.",
guid = "bd58befb-9c29-11b1-9dad-c379636f7270";
Athlete rel
isu PersonByActivityType,
isu OccupationType,
iss Person;
Class isg AthleticActivity;
AthleticActivity has
label = "athletic activities",
comment = "Any athletic activity, i.e. one which involves\n
physical exertion and tends to require strength and stamina.\n
Not just limited to competitive sports events. Also\n
includes spelunking, or going for a jog, or shooting a\n
few hoops.",
guid = "be01fe5d-9c29-11b1-9dad-c379636f7270";
AthleticActivity rel
isu Class,
iss HumanActivity,
iss PurposefulAction,
iss PhysicalEvent;
InternationalWaters isp AtlanticOcean;
AtlanticOcean has
label = "the Atlantic Ocean",
comment = "The main body of salt water primarily in the\n
#$WesternHemisphere-Region, bordering on five #$Continents\n
(or three #$TrueContinents -- Western coasts of Europe and\n
Africa, Antarctica, Eastern coasts of North and South America).",
guid = "bd5901d2-9c29-11b1-9dad-c379636f7270";
Class isg Atom;
Atom has
label = "atoms",
comment = "A collection of microscopic-scale objects. Each\n
instance of #$Atom has one atomic nucleus and some number of\n
electrons. As a default, we assume that an instance of\n
#$Atom has no net charge, i.e., that it has as many\n
instances of #$Electrons as it does of #$Protons in its\n
#$AtomicNucleus; but note there are exceptions, e.g., those\n
which are instances of #$Ion.",
guid = "bd5891ef-9c29-11b1-9dad-c379636f7270";
Atom rel
isu ExistingObjectType,
iss ChemicalObject;
Class isg AtomicNucleus;
AtomicNucleus has
label = "nuclei",
comment = "A collection of objects; a subset of\n
#$MicroscopicScaleObject. Each instance of #$AtomicNucleus\n
is an object composed of some definite number of instances\n
of #$Proton and some definite number of instances of\n
#$Neutron. Instances of the collection #$Atom are each\n
composed of one member of #$AtomicNucleus and some number of electrons.",
guid = "bd58a3d9-9c29-11b1-9dad-c379636f7270";
AtomicNucleus rel
isu ExistingObjectType,
iss MicroscopicScaleObject;
Class isg AttributeType;
AttributeType has
label = "attribute type",
comment = "A collection of collections. Each element of\n
#$AttributeType is a collection of attributes. Each element\n
of #$AttributeType is a subset of #$AttributeValue (q.v.).\n
Examples include #$SensoryAttribute, #$BodyPartPosition,\n
#$OrientationAttribute, #$SecurityClearanceLevel,\n
#$ComputerVideoResolution, #$ForceVector, and many more.",
guid = "bd590364-9c29-11b1-9dad-c379636f7270";
AttributeType rel
isu CollectionType,
isu Class,
iss ObjectType,
xor AttributeValue;
Class isg AttributeValue;
AttributeValue has
label = "attributes",
comment = "The set of all attributes represented in Cyc.\n
#$AttributeValue includes quantities, such as 5 inches\n
(i.e., (#$Inch 5)) or 1000 dollars per year (i.e.,\n
(#$DollarsPerYear 1000)), as well as qualities like #$Hilly,\n
#$Rough, #$DeviceOn, etc., which can be used to make\n
assertions about the state of some tangible object.",
guid = "bd5880c5-9c29-11b1-9dad-c379636f7270";
AttributeValue rel
isu AttributeType,
isu CoreConstant,
iss IntangibleIndividual,
xor Relation,
xor Proposition,
xor Class,
xor AttributeType,
xor Microtheory,
xor TemporalThing,
xor Language,
xor SpatialThing;
Class isg AudibleSound;
AudibleSound has
label = "sounds",
comment = "A collection of events; a subset of #$Sound. Each\n
element of #$AudibleSound is a sound within the #$Frequency\n
range of human hearing.",
guid = "bd5906fc-9c29-11b1-9dad-c379636f7270";
AudibleSound rel
isu WavePropagationType,
iss WavePropagation,
iss Sound;
Class isg AudioCommunicating;
AudioCommunicating has
label = "audio-communicating events",
comment = "A collection of information transfer events; a\n
subset of #$Communicating. Each element of\n
#$AudioCommunicating is a transmission of sound-borne\n
information between two (or more) agents; e.g., talking,\n
clapping, or performing music.",
guid = "bd58c907-9c29-11b1-9dad-c379636f7270";
AudioCommunicating rel
isu DefaultDisjointScriptType,
isu TemporalStuffType,
iss Communicating;
Class isg August;
August has
label = "August",
comment = "The collection of all Augusts, the eighth month\n
of the year in the #$JulianCalendar.",
guid = "bd58c170-9c29-11b1-9dad-c379636f7270";
August rel
isu MonthOfYearType,
isu CoreConstant,
iss CalendarMonth;
Country isp Australia;
Australia has
label = "Australia",
comment = "Australia, the country that occupies the\n
#$ContinentOfAustralia (and also #$TasmaniaIslandAustralia)\n
dividing the eastern #$IndianOcean from the southwestern\n
#$PacificOcean. In the #$DualistGeopoliticalMt, this\n
constant includes both physical and political aspects of Australia.",
guid = "bd5894b3-9c29-11b1-9dad-c379636f7270";
Class isg AuthorizedAgreement;
AuthorizedAgreement has
label = "authorized agreements",
comment = "The collection of generic agreements that are\n
authorized by one of the agreeing parties (typically by the\n
issuer of the document embodying the agreement).\n
#$AuthorizedAgreements are generic in the sense that their\n
authorizing agents are party to many similar agreements; for\n
that reason, an #$AuthorizedAgreement is typically given a\n
unique identification number. Examples: bank accounts,\n
driver's licenses, stock certificates.",
guid = "bd58b01c-9c29-11b1-9dad-c379636f7270";
AuthorizedAgreement rel
isu ExistingObjectType,
iss Agreement;
Class isg AutoDealership;
AutoDealership has
label = "car dealerships",
comment = "Each instance is an establishment (an organization\n
located at one site) that sells automobiles and other types\n
of road vehicles to consumers.",
guid = "bd58eed7-9c29-11b1-9dad-c379636f7270";
AutoDealership rel
isu ExistingObjectType,
iss SingleSiteOrganization,
iss RetailStore,
iss Business;
Class isg Automobile;
Automobile has
label = "cars",
comment = "A collection of transportation devices -- those\n
commonly known as `passenger cars.' An instance of\n
#$Automobile is an element of #$RoadVehicle which was\n
designed for carrying about 4 passengers (give or take a\n
factor of 2). In addition to midsize cars, #$Automobile\n
includes elements belonging to the subsets #$SportsCar,\n
#$PickupTruck and #$Van. This collection does NOT include\n
motorcycles, buses, tractors, etc.",
guid = "bd5895c1-9c29-11b1-9dad-c379636f7270";
Automobile rel
isu ProductType,
isu ExistingObjectType,
iss RoadVehicle,
iss ContactLocation,
iss HumanlyOccupiedSpatialObject;
Alertness isp Awake;
Awake has
label = "awake",
comment = "#$Awake is the #$Alertness attribute of being awake.",
guid = "bd58a5fa-9c29-11b1-9dad-c379636f7270";
Class isg BackSide;
BackSide has
label = "backs",
comment = "The collection of all the entire back sides (as\n
conventionally understood) of all objects that have distinct\n
#$Sides, one of which faces in the backwards direction.",
guid = "bd59048d-9c29-11b1-9dad-c379636f7270";
BackSide rel
isu RegionType,
iss Side;
CycLAssertionDirection isp Backward-AssertionDirection;
Backward-AssertionDirection has
label = "backward - assertion direction",
comment = "The backward direction for Cyc assertions; the\n
assertion is not forward propagated.",
guid = "bd674278-9c29-11b1-9dad-c379636f7270";
PreparationAttribute isp Baked;
Baked has
label = "baked",
comment = "The attribute #$Baked is a specialized form of\n
#$Cooked. Food that is #$Baked has been prepared in an\n
event of #$BakingFood, using a $#RegularOven.",
guid = "bd5886dd-9c29-11b1-9dad-c379636f7270";
Class isg BakingFood;
BakingFood has
label = "baking food",
comment = "A collection of events in which food is baked in a\n
#$RegularOven. After an event of #$BakingFood, the food\n
involved has been #$Baked.",
guid = "bd58aed0-9c29-11b1-9dad-c379636f7270";
BakingFood rel
isu DefaultDisjointScriptType,
isu TemporalObjectType,
iss CookingFood;
Class isg BalconyLevelInAConstruction;
BalconyLevelInAConstruction has
label = "balconies",
comment = "A specialization of #$LevelOfAConstruction whose\n
instances are balconies in the style of those overhanging\n
levels sometimes found in churches, theatres, etc. Such\n
balconies are often approximately one-third the size of the\n
floor or level below them, and therefore can be considered\n
legitimate levels themselves. They usually contain a mob of\n
seats. Note that this collection does _not_ include the\n
kind of balcony that protrudes from a window or door on an\n
already existing level. See also\n
#$AboveGroundLevelInAConstruction and #$BasementLevelInAConstruction.",
guid = "bd5894f5-9c29-11b1-9dad-c379636f7270";
BalconyLevelInAConstruction rel
isu ExistingObjectType,
iss LevelOfAConstruction;
Entity isp Bangladesh;
Bangladesh has
label = "Bangladesh",
comment = "Country near the eastern end of the Indian\n
subcontinent, separated from #$Nepal by a narrow corridor\n
of #$India, and sharing part of its border with #$Burma.\n
Considered a part of India's territory during the\n
period of British colonial rule.",
guid = "bd590173-9c29-11b1-9dad-c379636f7270";
Class isg BankDebitCard;
BankDebitCard has
label = "debit cards",
comment = "A collection of official `documents'. Each\n
element of #$BankDebitCard is a plastic card that enables\n
the holder to access the account with which the card is\n
associated; typically used to withdraw funds from the\n
account. Cf. #$CreditCard.",
guid = "c0fd4920-9c29-11b1-9dad-c379636f7270";
BankDebitCard rel
isu MoneyTenderType,
iss Plastic,
iss Card,
iss IDDocument,
iss TenderObject;
Class isg Bartering;
Bartering has
label = "barters",
comment = "The collection of transactions between two\n
#$Agents in which one #$Agent gives items or services to\n
another #$Agent, and the other #$Agent gives items or\n
services in return, and neither of the items or services is\n
money, credit, or payment of money.",
guid = "bd58b2e0-9c29-11b1-9dad-c379636f7270";
Bartering rel
isu TemporalObjectType,
isu DefaultDisjointScriptType,
iss ExchangeOfUserRights,
iss Transaction,
xor MonetaryExchangeOfUserRights;
BroadMicrotheory isp BaseKB;
BaseKB has
label = "base k b",
comment = "#$BaseKB is the most general #$Microtheory\n
currently in use. Assertions in this context are\n
`accessible' from any other #$Microtheory via the\n
#$genlMt relation. In the partial order of microtheories,\n
all microtheories have access to #$BaseKB. An assertion\n
which is true here will by default be true in every context.\n
The `content' of #$BaseKB consists of very general\n
assertions which are expected to be usable in most or all\n
applications of Cyc, as well as Cyc's most fundamental\n
assertions that it uses in inference, and all completely\n
universal, timeless truths.",
guid = "bd588111-9c29-11b1-9dad-c379636f7270";
Class isg BasementLevelInAConstruction;
BasementLevelInAConstruction has
label = "basements",
comment = "A specialization of #$LevelOfAConstruction whose\n
instances are below ground level. See also\n
#$AboveGroundLevelInAConstruction and #$BalconyLevelInAConstruction.",
guid = "bd58ce1a-9c29-11b1-9dad-c379636f7270";
BasementLevelInAConstruction rel
isu ExistingObjectType,
iss LevelOfAConstruction;
Class isg Battle;
Battle has
label = "battles",
comment = "The collection of events in which two or more\n
large groups of #$Persons meet and fight one another, each\n
group seeking to vanquish (some of) the others. #$Battles\n
are often conducted by #$MilitaryOrganizations, and they may\n
influence the outcomes of #$WagingWar. A #$Battle will have\n
as #$subEvents at least two #$PhysicallyAttackingAnAgent\n
events, in which one of the fighting groups attacks the other.",
guid = "bd58aeb0-9c29-11b1-9dad-c379636f7270";
Battle rel
isu TemporalObjectType;
ThreeDimensionalShapeAttribute isp BeamShaped;
BeamShaped has
label = "beam shaped",
comment = "The attribute shared by all objects that have the\n
attribute #$Rectangular3DShaped and for which one dimension\n
is many times greater than the other two dimensions.",
guid = "c138a988-9c29-11b1-9dad-c379636f7270";
Agent isp Belgium;
Belgium has
label = "Belgium",
comment = "Belgium, a small #$IndependentCountry in the west\n
of the #$ContinentOfEurope. It is a kingdom. The constant\n
includes the nation of Belgium as it has existed throughout\n
time, including both its physical and its political aspects.",
guid = "bd58df47-9c29-11b1-9dad-c379636f7270";
Class isg BeliefSystem;
BeliefSystem has
label = "systems of belief",
comment = "The collection of ideologies (systems of belief)\n
in terms of which an agent characterizes (i.e., makes sense\n
of) their world. Elements of this set include:\n
#$VegetarianBeliefs, #$GermanNaziIdeology,\n
#$RepublicanPartyIdeology, #$CommunistIdeology,\n
#$PacifistIdeology, #$Atheism, etc. See also #$ConventionalClassificationSystem.",
guid = "bd58bd47-9c29-11b1-9dad-c379636f7270";
BeliefSystem rel
isu BeliefSystemType,
iss AbstractInformationalThing;
Class isg BeliefSystemType;
BeliefSystemType has
label = "belief system type",
comment = "The collection of all the kinds of\n
#$BeliefSystems: religious, philosophical, political,\n
ethical, cultural, and scientific. Some elements of this\n
collection include #$Religion, #$PhilosophyBeliefs, etc.\n
The most general member of this set is #$BeliefSystems (qv).",
guid = "bd590588-9c29-11b1-9dad-c379636f7270";
BeliefSystemType rel
isu Class,
isu CollectionType,
iss Class;
PhysicalStructuralAttribute isp Bendable;
Bendable has
label = "bendable",
comment = "A physical attribute. #$Bendable is the\n
#$PhysicalStructuralAttribute of an object that tends to\n
stay in the contorted shape when contorted. Note: for\n
something to be bendable, it must be #$Flexible.",
guid = "bd58874c-9c29-11b1-9dad-c379636f7270";
Class isg Bicycle;
Bicycle has
label = "bicycles",
comment = "The collection of all bicycles, personal wheeled\n
transport devices powered by human peddling. Most Bicycles\n
have two main wheels arranged in-line, but some tandem\n
bicycles have more than two wheels.",
guid = "bd58e8d0-9c29-11b1-9dad-c379636f7270";
Bicycle rel
isu ExistingObjectType,
iss Device-UserPowered;
Class isg BidirectedPathSystem;
BidirectedPathSystem has
label = "bidirected path system",
comment = "An instance of #$PathSystemType-Structural and a\n
subcollection of #$Semi-DirectedPathSystem. For each\n
instance SYS of #$BidirectedPathSystem, every link in SYS is\n
given two directions.",
guid = "beffe753-9c29-11b1-9dad-c379636f7270";
BidirectedPathSystem rel
isu PathSystemType-Structural,
iss Semi-DirectedPathSystem,
xor DirectedPathSystem;
Class isg BilaterallySymmetricObject;
BilaterallySymmetricObject has
label = "bilaterally symmetric object",
comment = "The collection of objects which are symmetric on\n
both sides of a bisecting axis, as are most vertebrates.",
guid = "bd58b94b-9c29-11b1-9dad-c379636f7270";
BilaterallySymmetricObject rel
isu ExistingObjectType,
iss SpatialThing;
Class isg Bill-PaymentRequest;
Bill-PaymentRequest has
label = "bills",
comment = "A collection of documents. Each element of\n
#$Bill-PaymentRequest is a notification, demand, or request\n
made by a creditor (or its agent) to a debtor, for payment\n
of a debt previously incurred for some loan, goods, or\n
services. Examples: telephone bills, tax bills, department\n
store bills, cleaning bills, fuel bills.",
guid = "bd58d7b1-9c29-11b1-9dad-c379636f7270";
Bill-PaymentRequest rel
isu ExistingObjectType,
iss TextualMaterial;
Class isg BillingLocation;
BillingLocation has
label = "billing locations",
comment = "A collection of places; a subset of\n
#$ContactLocation. Each element of #$BillingLocation is a\n
location to which invoices are sent. For most private\n
individuals, their billing location is their home address.",
guid = "be0184e0-9c29-11b1-9dad-c379636f7270";
BillingLocation rel
isu ContactLocationType,
iss MailingLocation;
Class isg BinaryFunction;
BinaryFunction has
label = "binary function",
comment = "#$BinaryFunction is the collection of all Cyc\n
functions which take two arguments.",
guid = "c0e7247c-9c29-11b1-9dad-c379636f7270";
BinaryFunction rel
isu CoreConstant,
iss BinaryRelation,
iss Function-Denotational;
Class isg BinaryPredicate;
BinaryPredicate has
label = "binary predicates",
comment = "#$BinaryPredicate is the collection of all Cyc\n
predicates which take two arguments.",
guid = "bd588102-9c29-11b1-9dad-c379636f7270";
BinaryPredicate rel
is Property,
isu PredicateCategory,
isu CoreConstant,
iss Predicate,
iss BinaryRelation,
xor SubLObject;
Class isg BinaryRelation;
BinaryRelation has
label = "binary relation",
comment = "The collection of all #$Relations of arity 2 in\n
CycL. This collection was created in order to implement\n
automatic conclusion of arity for relations in CycL,\n
regardless of whether they are predicates or functions.",
guid = "be75c8f9-9c29-11b1-9dad-c379636f7270";
BinaryRelation rel
isu CoreConstant,
iss FixedArityRelation,
xor PartiallyCommutativeRelation;
Class isg BioDeteriorationResistance;
BioDeteriorationResistance has
label = "bio deterioration resistance",
comment = "A collection of attributes; a subset of\n
#$PhysicalAttribute. Each element of\n
#$BioDeteriorationResistance represents a specific capacity\n
of a tangible object to resist biological deterioration.\n
Degrees of #$BioDeteriorationResistance may be represented\n
using #$GenericValueFunctions. Indicate a particular\n
object's #$BioDeteriorationResistance with the\n
predicate #$resistanceToBioDeterioration.",
guid = "be00bf59-9c29-11b1-9dad-c379636f7270";
BioDeteriorationResistance rel
iss ScalarInterval;
Class isg BiologicalCatabolismEvent;
BiologicalCatabolismEvent has
label = "catabolisms",
comment = "A collection of events. Each\n
#$BiologicalCatabolismEvent involve the destruction of\n
larger molecules. E.g., the degradation of glucose into\n
carbon dioxide and water, which releases energy used to make\n
ATP (adenosine triphosphate).",
guid = "bd58ef47-9c29-11b1-9dad-c379636f7270";
BiologicalCatabolismEvent rel
isu TemporalObjectType,
isu DefaultDisjointScriptType,
iss BiologicalDestructionEvent,
iss BiologicalMetabolismEvent;
Class isg BiologicalClass;
BiologicalClass has
label = "classes",
comment = "The collection of taxonomic subdivisions directly\n
under #$BiologicalPhylum (for animals and for the\n
animal-like organisms in the #$ProtistaKingdom), or\n
#$BiologicalDivision (for the plants and for the plant-like\n
organisms within the #$ProtistaKingdom).",
guid = "bd58974c-9c29-11b1-9dad-c379636f7270";
BiologicalClass rel
isu BiologicalTaxonType,
isu CollectionType,
iss BiologicalTaxon;
Class isg BiologicalDecompositionEvent;
BiologicalDecompositionEvent has
label = "biological decomposition event",
comment = "A collection of events. In each\n
#$BiologicalDecompositionEvent, some living structures are decomposed.",
guid = "bd58b294-9c29-11b1-9dad-c379636f7270";
BiologicalDecompositionEvent rel
isu TemporalObjectType,
isu DefaultDisjointScriptType,
iss BiologicalDestructionEvent,
iss DecompositionEvent;
Class isg BiologicalDestructionEvent;
BiologicalDestructionEvent has
label = "biological destruction event",
comment = "A collection of events. In each element of\n
#$BiologicalDestructionEvent, something is destroyed by some\n
element(s) of #$BiologicalLivingObject. For example,\n
#$DigestingInStomach is a subset of #$BiologicalDestructionEvent.",
guid = "bd58b316-9c29-11b1-9dad-c379636f7270";
BiologicalDestructionEvent rel
isu TemporalObjectType,
isu DefaultDisjointScriptType,
iss BiologicalEvent;
Class isg BiologicalDevelopmentEvent;
BiologicalDevelopmentEvent has
label = "biological development event",
comment = "A collection of events, and a subset of\n
#$IntrinsicStateChangeEvents. In each\n
#$BiologicalDevelopmentEvent, one or more living things\n
undergo biological changes in which they progress from one\n
developmental stage to another. For example, the\n
germination of a seed, the opening of a flower, the pupating\n
of a caterpillar, a teenager reaching puberty. Some\n
borderline non-examples include: Groucho Marx being born,\n
Groucho Marx dying.",
guid = "bd58d906-9c29-11b1-9dad-c379636f7270";
BiologicalDevelopmentEvent rel
isu TemporalObjectType,
isu DefaultDisjointScriptType,
iss IntrinsicStateChangeEvent,
iss BiologicalEvent;
Class isg BiologicalDivision;
BiologicalDivision has
label = "divisions",
comment = "The collection of main taxonomic subdivisions of\n
#$BiologicalKingdom (or #$BiologicalSubkingdom) for the\n
members of the #$MoneraKingdom (i.e., prokaryotes), #$Fungus\n
Kingdom, #$Plant Kingdom, and for the plant-like organisms\n
within the #$ProtistaKingdom. In the #$Animal Kingdom,\n
however, the main taxonomic subdivisions are elements of\n
#$BiologicalPhylum (q.v.) rather than #$BiologicalDivision.",
guid = "bd58978f-9c29-11b1-9dad-c379636f7270";
BiologicalDivision rel
isu BiologicalTaxonType,
isu CollectionType,
iss BiologicalTaxon;
Class isg BiologicalEvent;
BiologicalEvent has
label = "biological processes",
comment = "An event in which a biological thing is a #$bodilyDoer.",
guid = "bd5902b7-9c29-11b1-9dad-c379636f7270";
BiologicalEvent rel
isu DefaultDisjointScriptType,
isu TemporalStuffType,
iss PhysicalEvent;
Class isg BiologicalFamily;
BiologicalFamily has
label = "taxonomic families",
comment = "The collection of biological taxonomic\n
subdivisions below #$BiologicalOrder (or\n
#$BiologicalSuborder) and above #$BiologicalGenus.\n
Especially important in Botanical classification.",
guid = "bd58cb2c-9c29-11b1-9dad-c379636f7270";
BiologicalFamily rel
isu CollectionType,
isu BiologicalTaxonType,
iss BiologicalTaxon;
Class isg BiologicalGenus;
BiologicalGenus has
label = "genera",
comment = "The collection of biological taxonomic\n
subdivisions below #$BiologicalFamily and above\n
#$BiologicalSpecies. Sometimes, hybrids are possible\n
between different instances of #$BiologicalSpecies that\n
belong to the same #$BiologicalGenus.",
guid = "bd589a9f-9c29-11b1-9dad-c379636f7270";
BiologicalGenus rel
isu BiologicalTaxonType,
isu CollectionType,
iss BiologicalTaxon;
Class isg BiologicalIntakeEvent;
BiologicalIntakeEvent has
label = "biological intake event",
comment = "A collection of processes. In each element of\n
#$BiologicalIntakeEvent, some object(s) are taken into some\n
living structure.",
guid = "bd588866-9c29-11b1-9dad-c379636f7270";
BiologicalIntakeEvent rel
isu TemporalObjectType,
isu DefaultDisjointScriptType,
iss BiologicalTransportationEvent;
Class isg BiologicalKingdom;
BiologicalKingdom has
label = "kingdoms",
comment = "The collection of the highest, most general\n
taxonomic divisions of organisms. Traditionally, it has\n
included the elements of #$Animal and of #$Plant and may\n
include separate kingdoms for the elements of\n
#$ProkaryoticCell, single-celled eukaryotes (protists), and fungi.",
guid = "bd58989a-9c29-11b1-9dad-c379636f7270";
BiologicalKingdom rel
isu BiologicalTaxonType,
isu CollectionType,
iss BiologicalTaxon;
Class isg BiologicalLivingObject;
BiologicalLivingObject has
label = "living things",
comment = "A collection of all structures that are composed\n
of one or more living cells (see #$Cell). Biological living\n
objects (BLOs) may be either elements of #$Organism-Whole\n
(like dogs or pine trees) or are components of such whole\n
organisms (like noses, tails, and pine needles). The\n
healthy leg of a living person is a BLO (as is the person),\n
but an amputated leg is not a BLO. Every element of\n
#$BiologicalLivingObject is either capable of biological\n
reproduction itself or has components which are capable of\n
biological reproduction (such as the cells in a living arm).",
guid = "bd58a6ed-9c29-11b1-9dad-c379636f7270";
BiologicalLivingObject rel
isu ExistingObjectType,
iss OrganicStuff,
iss CompositeTangibleAndIntangibleObject,
iss NaturalTangibleStuff,
xor Organization,
xor InanimateThing,
xor Place,
xor Artifact-NonAgentive;
Class isg BiologicalMetabolismEvent;
BiologicalMetabolismEvent has
label = "biological metabolism event",
comment = "The collection of biological processes in which\n
substrates are converted into metabolites. The metabolites\n
may be more or less complex than the substrates.",
guid = "bd58ee48-9c29-11b1-9dad-c379636f7270";
BiologicalMetabolismEvent rel
isu DefaultDisjointScriptType,
isu TemporalObjectType,
iss BiologicalEvent;
Class isg BiologicalOrder;
BiologicalOrder has
label = "orders",
comment = "The collection of biological taxonomic\n
subdivisions below #$BiologicalClass (or\n
#$BiologicalSubclass) and above #$BiologicalFamily.",
guid = "bd58e329-9c29-11b1-9dad-c379636f7270";
BiologicalOrder rel
isu CollectionType,
isu BiologicalTaxonType,
iss BiologicalTaxon;
Class isg BiologicalPhylum;
BiologicalPhylum has
label = "phyla",
comment = "The collection of main taxonomic subdivisions of\n
#$BiologicalKingdom (or #$BiologicalSubkingdom if present)\n
for the #$Animal kingdom and for the animal-like organisms\n
within the #$ProtistaKingdom. The other elements of\n
#$BiologicalKingdom have divisions belonging to\n
#$BiologicalDivision instead of Phyla (Phyla is the plural\n
of Phylum).",
guid = "bd589813-9c29-11b1-9dad-c379636f7270";
BiologicalPhylum rel
isu CollectionType,
isu BiologicalTaxonType,
iss BiologicalTaxon;
Class isg BiologicalProductionEvent;
BiologicalProductionEvent has
label = "biological production event",
comment = "A collection of events. In each element of\n
#$BiologicalProductionEvent, raw materials are combined to\n
produce a product, and some element(s) of\n
#$BiologicalLivingObject is the producer. E.g., the\n
production of honey by honeybees, the growth of a seedling\n
into a tree, the secretion of sweat by a marathon runner,\n
etc. Note: This is a very general collection, and for\n
most purposes one of its subsets will better capture what is intended.",
guid = "bd58c40f-9c29-11b1-9dad-c379636f7270";
BiologicalProductionEvent rel
isu DefaultDisjointScriptType,
isu TemporalObjectType,
iss BiologicalEvent;
Class isg BiologicalReproductionEvent;
BiologicalReproductionEvent has
label = "procreations",
comment = "A collection of events. Each element of\n
#$BiologicalReproductionEvent is an event in which one or\n
more biological organisms (the #$parentActors) produce new\n
organisms (the #$offspringActors) generally of the same kind\n
as the parents.",
guid = "bd58d8c5-9c29-11b1-9dad-c379636f7270";
BiologicalReproductionEvent rel
isu TemporalObjectType,
isu DefaultDisjointScriptType,
iss BiologicalProductionEvent;
Class isg BiologicalSpecies;
BiologicalSpecies has
label = "species",
comment = "A collection of the lowest taxons\n
(#$BiologicalTaxon, q.v.) that are necessarily common to\n
both parents of fertile offspring, or, in the case of\n
asexual reproduction, necessarily common to parent and\n
child. Members of different species cannot produce fertile\n
offspring by interbreeding. An element of\n
#$BiologicalSpecies has members who all have significant\n
traits in common, and members of each biological species\n
have other members as parents. In biological taxonomy,\n
related species are grouped into a particular element of\n
#$BiologicalGenus (q.v.).",
guid = "bd58caeb-9c29-11b1-9dad-c379636f7270";
BiologicalSpecies rel
isu CollectionType,
isu BiologicalTaxonType,
iss BiologicalTaxon;
Class isg BiologicalSubclass;
BiologicalSubclass has
label = "subclasses",
comment = "The collection of biological taxonomic\n
subdivisions more specific than #$BiologicalClass but more\n
general than #$BiologicalOrder.",
guid = "bd58cba7-9c29-11b1-9dad-c379636f7270";
BiologicalSubclass rel
isu CollectionType,
isu BiologicalTaxonType,
iss BiologicalTaxon;
Class isg BiologicalSubfamily;
BiologicalSubfamily has
label = "biological subfamily",
comment = "The collection of biological taxonomic\n
subdivisions below #$BiologicalFamily and above #$BiologicalGenus.",
guid = "bf7063f7-9c29-11b1-9dad-c379636f7270";
BiologicalSubfamily rel
isu CollectionType,
isu BiologicalTaxonType,
iss BiologicalTaxon;
Class isg BiologicalSubkingdom;
BiologicalSubkingdom has
label = "subkingdoms",
comment = "The collection of biological subkingdoms, the\n
biological taxonomic divisions of organisms immediately\n
below #$BiologicalKingdom.",
guid = "bd589857-9c29-11b1-9dad-c379636f7270";
BiologicalSubkingdom rel
isu CollectionType,
isu BiologicalTaxonType,
iss BiologicalTaxon;
Class isg BiologicalSuborder;
BiologicalSuborder has
label = "biological suborder",
comment = "The collection of biological taxonomic\n
subdivisions below #$BiologicalOrder and above #$BiologicalFamily.",
guid = "bdf83894-9c29-11b1-9dad-c379636f7270";
BiologicalSuborder rel
isu BiologicalTaxonType,
isu CollectionType,
iss BiologicalTaxon;
Class isg BiologicalSubphylum;
BiologicalSubphylum has
label = "biological subphylum",
comment = "A collection of #$BiologicalTaxons that is more\n
restrictive than #$BiologicalPhylum. All instances of a\n
particular #$BiologicalSubspecies have significant traits or\n
collections of traits in common which are not shared by all\n
other members of the same #$BiologicalPhylum.",
guid = "bed637c5-9c29-11b1-9dad-c379636f7270";
BiologicalSubphylum rel
isu BiologicalTaxonType,
isu CollectionType,
iss BiologicalTaxon;
Class isg BiologicalSubspecies;
BiologicalSubspecies has
label = "subspecies",
comment = "A collection of #$BiologicalTaxons that is more\n
restrictive than #$BiologicalSpecies. Members of different\n
subspecies can produce fertile offspring by interbreeding,\n
but the offspring are not members of the parental subspecies\n
although they are members of the common #$BiologicalSpecies.\n
All instances of a particular #$BiologicalSubspecies have\n
significant traits or collections of traits in common which\n
are not shared by all other members of the same\n
#$BiologicalSpecies. A #$BiologicalSubspecies is formed\n
by inbreeding of a restricted group of members of a single\n
species. This can happen naturally through geographic\n
isolation or intentionally through controlled reproduction\n
to create, for example, #$Dog breeds or crop strains.",
guid = "c0b6222b-9c29-11b1-9dad-c379636f7270";
BiologicalSubspecies rel
isu BiologicalTaxonType,
isu CollectionType,
iss BiologicalTaxon;
Class isg BiologicalTaxon;
BiologicalTaxon has
label = "taxonomic groups",
comment = "The collection of ranked categories accepted by\n
biologists for the biological classification of organisms\n
according to their suspected evolutionary relationships.\n
Includes all levels of taxons. See also\n
#$BiologicalTaxonType and #$OrganismClassificationType.",
guid = "bd58e2e8-9c29-11b1-9dad-c379636f7270";
BiologicalTaxon rel
isu SiblingDisjointCollection,
isu CollectionType,
iss OrganismClassificationType;
Class isg BiologicalTaxonType;
BiologicalTaxonType has
label = "biological taxon type",
comment = "A collection of collections of collections;\n
#$BiologicalTaxonType contains the classes of organism types\n
(i.e., taxons) that biologists recognize, including\n
#$BiologicalSpecies, #$BiologicalPhylum, etc. The naive\n
classes that non-biologists use may be instances of some\n
element of #$BiologicalTaxonType, though often they are not.\n
When they coincide, the commonsense class of organism (e.g.,\n
#$Person) is an instance of some #$BiologicalTaxonType\n
(#$BiologicalSpecies, for example). See also #$OrganismClassificationType.",
guid = "bd588dc6-9c29-11b1-9dad-c379636f7270";
BiologicalTaxonType rel
isu SiblingDisjointCollection,
isu CollectionType;
Class isg BiologicalTransportationEvent;
BiologicalTransportationEvent has
label = "biological transportation event",
comment = "The collection of processes involving living\n
structures in which objects are transported.",
guid = "bd58fce2-9c29-11b1-9dad-c379636f7270";
BiologicalTransportationEvent rel
isu DefaultDisjointScriptType,
isu TemporalObjectType,
iss TransportationEvent;
Class isg Bird;
Bird has
label = "birds",
comment = "The collection of birds; a subset of #$Vertebrate.\n
Each element of #$Bird is an air-breathing, warm-blooded\n
animal, covered with feathers, havi]]>