]> 2008/06/10 OpenCyc Knowledge Base Copyright© 2001-2008 Cycorp, Inc., http://www.cyc.com/, Austin, TX, USA This file contains an OWL representation of information contained in the OpenCyc Knowledge Base. The content of this OWL file is licensed under the Creative Commons Attribution 3.0 license whose text can be found at http://creativecommons.org/licenses/by/3.0/legalcode. The content of this OWL file, including the OpenCyc content it represents, constitutes the "Work" referred to in the Creative Commons license. The terms of this license equally apply to, without limitation, renamings and other logically equivalent reformulations of the content of this OWL file (or portions thereof) in any natural or formal language, as well as to derivations of this content or inclusion of it in other ontologies. externalID A unique, language-neutral, variable-sized identifier for a concept that can be used to refer unambiguously to that concept across OWL exports or across Cyc inference engines. label A natural-language representation for a concept that is both human readable and readable by the Cyc inference engine. These terms are not guaranteed to refer to the same concept across time but are guaranteed to be consistent within a particular OWL export. Use 'cycAnnot:externalID' for unambiguously referring to a concept across OWL exports or across Cyc inference engines. subevent The most general instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SubEventPredicate" class="cyc_term">SubEventPredicate</a>, this predicate relates a given event to the events that are its parts. <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/subEvents" class="cyc_term">subEvents</a> WHOLE PART)</code> means that <code>PART</code> is a part, or subevent, of <code>WHOLE</code>. Events can be decomposed into subevents events temporally, spatially, and in other ways; see the specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/subEvents" class="cyc_term">subEvents</a> for more on this. For decomposing an event in a purely temporal way, see <a href="http://sw.opencyc.org/2008/06/10/concept/en/subProcesses" class="cyc_term">subProcesses</a>. Mx4rvViQmZwpEbGdrcN5Y29ycA subEvents subevents subProcesses A <a href="http://sw.opencyc.org/2008/06/10/concept/en/SubEventPredicate" class="cyc_term">SubEventPredicate</a> and a specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/en/timeSlices" class="cyc_term">timeSlices</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/subEvents" class="cyc_term">subEvents</a> (qq.v.). (<a href="http://sw.opencyc.org/2008/06/10/concept/en/subProcesses" class="cyc_term">subProcesses</a> EVENT SUBPROCESS) means that SUBPROCESS is a subevent of EVENT that consists of everything that "happens in" EVENT during the <a href="http://sw.opencyc.org/2008/06/10/concept/en/TimeInterval" class="cyc_term">TimeInterval</a> that SUBPROCESS occurs. subprocess subTranslations-SingleTrajectory (<a href="http://sw.opencyc.org/2008/06/10/concept/en/subTranslations_SingleTrajectory" class="cyc_term">subTranslations_SingleTrajectory</a> MOVE1 MOVE2) means that MOVE2 is a subevent of MOVE1, both being <a href="http://sw.opencyc.org/2008/06/10/concept/en/Translation_SingleTrajectory" class="cyc_term">Translation_SingleTrajectory</a>, and that MOVE2 has as parts all parts of MOVE1 that are temporally subsumed by MOVE2. That is to say, if MOVE1 is like a big rope, MOVE2 should be like a segment of the rope (rather than a thin thread in the rope). Since there is only one OBJ in MOVE1 such that (<a href="http://sw.opencyc.org/2008/06/10/concept/en/objectMoving" class="cyc_term">objectMoving</a> MOVE1 OBJ) holds, we can clarify the meaning of (<a href="http://sw.opencyc.org/2008/06/10/concept/en/subTranslations_SingleTrajectory" class="cyc_term">subTranslations_SingleTrajectory</a> MOVE1 MOVE2) by saying that MOVE2 is such a Translation-SingleTrajectroy that the MOVE2 is the movement of OBJ during an interval within the temporal extention of MOVE1 Sub Translations Single Trajectory Final Sports Event finalSportsEvent The one event (the game/race/round) whose winner determines the winner of the competition. It may not be the temporally last event (the game for the silver might be played after the game for the gold), but it is the decisive event for the winner of the whole competition. It may well be the case that the competition has only one event, in which case this is the Finals. subCultures (<a href="http://sw.opencyc.org/2008/06/10/concept/en/subCultures" class="cyc_term">subCultures</a> SUPERCULT SUBCULT) means that SUBCULT is a specific form of SUPERCULT. SUBCULT shares a significant portion of the beliefs, practices, and artifacts associated with SUPERCULT, but (if SUPERCULT and SUBCULT are distinct) is associated with some additional beliefs, practices, and artifacts that are not part of SUPERCULT. This predicate is intended to apply both to cases in which one culture is a specific version of another (e.g. Orthodox Jewish culture to Jewish culture in general; see <a href="http://sw.opencyc.org/2008/06/10/concept/en/subCultures_Friendly" class="cyc_term">subCultures_Friendly</a>) and to cases in which one culture is in some way reacting against the surrounding culture (e.g. the '60s counterculture to the Establishment; see <a href="http://sw.opencyc.org/2008/06/10/concept/en/subCultures_Unfriendly" class="cyc_term">subCultures_Unfriendly</a>). (See also <a href="http://sw.opencyc.org/2008/06/10/concept/en/cultureBeliefs" class="cyc_term">cultureBeliefs</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/culturePractices" class="cyc_term">culturePractices</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/cultureSpecialPractices" class="cyc_term">cultureSpecialPractices</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/cultureArtifacts" class="cyc_term">cultureArtifacts</a>.) subculture Event Series Members (<a href="http://sw.opencyc.org/2008/06/10/concept/en/eventSeriesMembers" class="cyc_term">eventSeriesMembers</a> SERIES EVENT) says that (<a href="http://sw.opencyc.org/2008/06/10/concept/en/subEvents" class="cyc_term">subEvents</a> SERIES EVENT) and (<a href="http://sw.opencyc.org/2008/06/10/concept/en/seriesMembers" class="cyc_term">seriesMembers</a> SERIES EVENT). So for example, (<a href="http://sw.opencyc.org/2008/06/10/concept/en/eventSeriesMembers" class="cyc_term">eventSeriesMembers</a> 2015WordSeries Game1Of2015WorldSeries) says that game 1 is a sub-event and member of the event that is the 2015 World Series. eventSeriesMembers Proper Sub Events A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/properSubSituations" class="cyc_term">properSubSituations</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/subEvents" class="cyc_term">subEvents</a> (qq.v.). This predicate relates events to further events which are their proper sub-events. <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/properSubEvents" class="cyc_term">properSubEvents</a> EVENT SUBEVENT)</code> means that the <a href="http://sw.opencyc.org/2008/06/10/concept/en/Event" class="cyc_term">Event</a> <code>SUBEVENT</code> is a part of the <a href="http://sw.opencyc.org/2008/06/10/concept/en/Event" class="cyc_term">Event</a> <code>EVENT</code>, a complete description of <code>EVENT</code> would have to involve a description of <code>SUBEVENT</code>, and <code>SUBEVENT</code> is not identical to <code>EVENT</code> itself. For example, an event in which a car is being parallel-parked might be an event in which a person turning a steering wheel is a proper sub-event. See also <a href="http://sw.opencyc.org/2008/06/10/concept/en/properSubEventTypes" class="cyc_term">properSubEventTypes</a>. properSubEvents processThreads Process Threads (<a href="http://sw.opencyc.org/2008/06/10/concept/en/processThreads" class="cyc_term">processThreads</a> PROCESS THREAD) means that THREAD is a thread of the process PROCESS. Manufacturing Steps manufacturingSteps The steps involved in a particular Manufacturing event. cotemporalSubEvents The predicate <a href="http://sw.opencyc.org/2008/06/10/concept/en/cotemporalSubEvents" class="cyc_term">cotemporalSubEvents</a> is used to relate an event to some sub-event which has the same duration as the whole event, but doesn't necessarily include everything that happens in the whole event. (<a href="http://sw.opencyc.org/2008/06/10/concept/en/cotemporalSubEvents" class="cyc_term">cotemporalSubEvents</a> WHOLE PART) means that WHOLE and PART are cotemporal events (i.e., they have the same exact duration), and PART is a component of WHOLE. For example, a particular instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/RainStormAsEvent" class="cyc_term">RainStormAsEvent</a> may have distinguishable <a href="http://sw.opencyc.org/2008/06/10/concept/en/cotemporalSubEvents" class="cyc_term">cotemporalSubEvents</a> for (1) raining and (2) wind blowing, and an instance of swimming <a href="http://sw.opencyc.org/2008/06/10/concept/en/Backstroke" class="cyc_term">Backstroke</a> has separable events for (1) kicking and (2) arm motion throughout the swimming. See also <a href="http://sw.opencyc.org/2008/06/10/concept/en/cotemporal" class="cyc_term">cotemporal</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/subEvents" class="cyc_term">subEvents</a>. Cotemporal Sub Events Sample Instance Of Type For Program Fn temporal predicate the Cyc Analytic Environment (SampleInstanceOfTypeForProgramFn BinaryTemporalRelationPredicate CycAnalyticEnvironment-TheProgram) ComplexTemporalPredicate complex temporal predicate A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/BinaryTemporalRelationPredicate" class="cyc_term">BinaryTemporalRelationPredicate</a> (q.v.) whose instances relate temporal things other than (but possibly including) individual time points. Thus, each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ComplexTemporalPredicate" class="cyc_term">ComplexTemporalPredicate</a> has both its argument-places constrained to instances (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/argIsa" class="cyc_term">argIsa</a>) of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TemporalThing" class="cyc_term">TemporalThing</a> or some specialization thereof (and at least one of these constraints must be broader than <a href="http://sw.opencyc.org/2008/06/10/concept/en/TimePoint" class="cyc_term">TimePoint</a>). A complex temporal predicate might be used to relate events, tangible objects, proper time intervals, and so forth. Instances include <a href="http://sw.opencyc.org/2008/06/10/concept/en/temporallyIntersects" class="cyc_term">temporallyIntersects</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/startsAfterStartingOf" class="cyc_term">startsAfterStartingOf</a>. Compare <a href="http://sw.opencyc.org/2008/06/10/concept/en/PrimitiveTemporalPredicate" class="cyc_term">PrimitiveTemporalPredicate</a>. subevent The most general instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SubEventPredicate" class="cyc_term">SubEventPredicate</a>, this predicate relates a given event to the events that are its parts. <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/subEvents" class="cyc_term">subEvents</a> WHOLE PART)</code> means that <code>PART</code> is a part, or subevent, of <code>WHOLE</code>. Events can be decomposed into subevents events temporally, spatially, and in other ways; see the specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/subEvents" class="cyc_term">subEvents</a> for more on this. For decomposing an event in a purely temporal way, see <a href="http://sw.opencyc.org/2008/06/10/concept/en/subProcesses" class="cyc_term">subProcesses</a>. subEvents sub event slot A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/IntangibleObjectRelatingPredicate" class="cyc_term">IntangibleObjectRelatingPredicate</a> (q.v.) whose instances relate events to certain of their parts or subevents. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SubEventPredicate" class="cyc_term">SubEventPredicate</a> is a specialization (via <a href="http://sw.opencyc.org/2008/06/10/concept/en/genls" class="cyc_term">genls</a> or <a href="http://sw.opencyc.org/2008/06/10/concept/en/genlInverse" class="cyc_term">genlInverse</a>) of the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/en/subEvents" class="cyc_term">subEvents</a> (q.v.). Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/en/subProcesses" class="cyc_term">subProcesses</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/cotemporalSubEvents" class="cyc_term">cotemporalSubEvents</a>. Note that, while most currently reified subevent predicates are in fact also <a href="http://sw.opencyc.org/2008/06/10/concept/en/TemporalPartPredicate" class="cyc_term">TemporalPartPredicate</a>s (q.v.), it is not necessary that a subevent predicate divide events along temporal lines. SubEventPredicate subevent The most general instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SubEventPredicate" class="cyc_term">SubEventPredicate</a>, this predicate relates a given event to the events that are its parts. <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/subEvents" class="cyc_term">subEvents</a> WHOLE PART)</code> means that <code>PART</code> is a part, or subevent, of <code>WHOLE</code>. Events can be decomposed into subevents events temporally, spatially, and in other ways; see the specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/subEvents" class="cyc_term">subEvents</a> for more on this. For decomposing an event in a purely temporal way, see <a href="http://sw.opencyc.org/2008/06/10/concept/en/subProcesses" class="cyc_term">subProcesses</a>. subEvents A collection of predicates. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/NonPhysicalPartPredicate" class="cyc_term">NonPhysicalPartPredicate</a> are used to describe the relationship between a <a href="http://sw.opencyc.org/2008/06/10/concept/en/PartiallyIntangible" class="cyc_term">PartiallyIntangible</a> and its non-physical parts. nonphysical part predicate NonPhysicalPartPredicate the event or role domain A <a href="http://sw.opencyc.org/2008/06/10/concept/en/ConceptTypeByDomain" class="cyc_term">ConceptTypeByDomain</a> (q.v.). Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/EventOrRoleConcept" class="cyc_term">EventOrRoleConcept</a> are collections and relations having to do with general kinds of events and the roles that things can play in them. Major specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Event" class="cyc_term">Event</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Role" class="cyc_term">Role</a>, and other relations used for stating significant facts about events (such as time, place, causes, and effects) are instances of this collection. EventOrRoleConcept subevent The most general instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SubEventPredicate" class="cyc_term">SubEventPredicate</a>, this predicate relates a given event to the events that are its parts. <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/subEvents" class="cyc_term">subEvents</a> WHOLE PART)</code> means that <code>PART</code> is a part, or subevent, of <code>WHOLE</code>. Events can be decomposed into subevents events temporally, spatially, and in other ways; see the specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/subEvents" class="cyc_term">subEvents</a> for more on this. For decomposing an event in a purely temporal way, see <a href="http://sw.opencyc.org/2008/06/10/concept/en/subProcesses" class="cyc_term">subProcesses</a>. subEvents subevent The most general instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SubEventPredicate" class="cyc_term">SubEventPredicate</a>, this predicate relates a given event to the events that are its parts. <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/subEvents" class="cyc_term">subEvents</a> WHOLE PART)</code> means that <code>PART</code> is a part, or subevent, of <code>WHOLE</code>. Events can be decomposed into subevents events temporally, spatially, and in other ways; see the specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/subEvents" class="cyc_term">subEvents</a> for more on this. For decomposing an event in a purely temporal way, see <a href="http://sw.opencyc.org/2008/06/10/concept/en/subProcesses" class="cyc_term">subProcesses</a>. subEvents history-topic History-Topic subevent The most general instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SubEventPredicate" class="cyc_term">SubEventPredicate</a>, this predicate relates a given event to the events that are its parts. <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/subEvents" class="cyc_term">subEvents</a> WHOLE PART)</code> means that <code>PART</code> is a part, or subevent, of <code>WHOLE</code>. Events can be decomposed into subevents events temporally, spatially, and in other ways; see the specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/subEvents" class="cyc_term">subEvents</a> for more on this. For decomposing an event in a purely temporal way, see <a href="http://sw.opencyc.org/2008/06/10/concept/en/subProcesses" class="cyc_term">subProcesses</a>. subEvents FactGatheringForbiddenPredicate A sub-collection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Predicate" class="cyc_term">Predicate</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/FactGatheringForbiddenPredicate" class="cyc_term">FactGatheringForbiddenPredicate</a> is a predicate which should not be used for fact gathering. fact gathering forbidden predicate A <a href="http://sw.opencyc.org/2008/06/10/concept/en/ConceptTypeByDomain" class="cyc_term">ConceptTypeByDomain</a> (q.v.). Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ClimateConcept" class="cyc_term">ClimateConcept</a> are collections and relations having to do with climate. Specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AnnualClimateCycle" class="cyc_term">AnnualClimateCycle</a>, those specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/GeographicalRegion" class="cyc_term">GeographicalRegion</a> that are closely associated with particular climates, and relations used for describing the locations, meteorological features, inhabitants, and other features of regions in various types of climates are instances of this collection. climate concept ClimateConcept top-topic Top-Topic relational noun slot The collection of binary predicates that describe a specified relation of an animal, group of animals (usually human animals), or an organization to another animal (also usually a human animal). These relations can be summed up by common nouns such as 'mother' or 'boss' or 'neighbor'. This class of predicates exists to facilitate parsing of sentences with forms such as 'X has a Y' or 'does X have a Y?' where Y is one of these relational nouns. RelationalNounSlot ReflexiveBinaryPredicate reflexive binary predicate The specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/BinaryPredicate" class="cyc_term">BinaryPredicate</a> whose instances are reflexive relations. A reflexive binary predicate relates anything that meets the predicate's argument constraints to that thing itself. Typically, a reflexive predicate has precisely the same constraints on both of its argument-places. More precisely: a binary predicate <code>PRED</code> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ReflexiveBinaryPredicate" class="cyc_term">ReflexiveBinaryPredicate</a> if and only if both (i) for every <code>X</code> that satisfies the constraints on (i.e is an <a href="http://sw.opencyc.org/2008/06/10/concept/en/admittedArgument" class="cyc_term">admittedArgument</a> for) both argument-places of <code>PRED</code>, <code>(PRED X X)</code> holds and (ii) <code>PRED</code>'s two argument-places are "co-satisfiable" with respect to their (single-argument) type constraints (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/cosatisfiableInArgs" class="cyc_term">cosatisfiableInArgs</a> and #$NoteOnArgumentCosatisfiabilityRequirement). Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ReflexiveBinaryPredicate" class="cyc_term">ReflexiveBinaryPredicate</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/physicalParts" class="cyc_term">physicalParts</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/inRegion" class="cyc_term">inRegion</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/genls" class="cyc_term">genls</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/equals" class="cyc_term">equals</a>. individual-level predicate IndividualLevelPredicate `Individual-level' predicates express properties that apply to continuants more or less intrinsically, rather than only at a certain time or stage in time (for which cf. <a href="http://sw.opencyc.org/2008/06/10/concept/en/StageLevelPredicate" class="cyc_term">StageLevelPredicate</a>). Example: having brown eyes is, under normal conditions, an individual-level property. Event event An important specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Situation" class="cyc_term">Situation</a> and thus also of <a href="http://sw.opencyc.org/2008/06/10/concept/en/IntangibleIndividual" class="cyc_term">IntangibleIndividual</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/TemporallyExistingThing" class="cyc_term">TemporallyExistingThing</a> (qq.v). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Event" class="cyc_term">Event</a> is a dynamic situation in which the state of the world changes; each instance is something one would say "happens". Events are intangible because they are changes per se, not tangible objects that effect and undergo changes. Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Event" class="cyc_term">Event</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/Event_Localized" class="cyc_term">Event_Localized</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/PhysicalEvent" class="cyc_term">PhysicalEvent</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Action" class="cyc_term">Action</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/GeneralizedTransfer" class="cyc_term">GeneralizedTransfer</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/en/Event" class="cyc_term">Event</a>s should not be confused with <a href="http://sw.opencyc.org/2008/06/10/concept/en/TimeInterval" class="cyc_term">TimeInterval</a>s (q.v.). The temporal bounds of events are delineated by time intervals, but in contrast to many events time intervals have no spatial location or extent. TransitiveBinaryPredicate A <a href="http://sw.opencyc.org/2008/06/10/concept/en/BinaryPredicateTypeByLogicalFeature" class="cyc_term">BinaryPredicateTypeByLogicalFeature</a> and thus a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/BinaryPredicate" class="cyc_term">BinaryPredicate</a>. A binary predicate <code>PRED</code> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TransitiveBinaryPredicate" class="cyc_term">TransitiveBinaryPredicate</a> only if it has the following property: For any <code>THING1</code>, <code>THING2</code>, and <code>THING3</code>, if both of these hold: <pre> (PRED THING1 THING2) (PRED THING2 THING3) </pre> Then so does this: <pre> (PRED THING1 THING3) . </pre> Note that a necessary condition on <code>PRED</code>'s being transitive is that its two argument-places must be co-satisfiable; see <a href="http://sw.opencyc.org/2008/06/10/concept/en/cosatisfiableInArgs" class="cyc_term">cosatisfiableInArgs</a> and #$NoteOnArgumentCosatisfiabilityRequirement. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TransitiveBinaryPredicate" class="cyc_term">TransitiveBinaryPredicate</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/greaterThan" class="cyc_term">greaterThan</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/geographicalSubRegions" class="cyc_term">geographicalSubRegions</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/cotemporal" class="cyc_term">cotemporal</a>. Cf. <a href="http://sw.opencyc.org/2008/06/10/concept/en/QuasiTransitiveBinaryPredicate" class="cyc_term">QuasiTransitiveBinaryPredicate</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/AntiTransitiveBinaryPredicate" class="cyc_term">AntiTransitiveBinaryPredicate</a>. transitive binary predicate antisymmetric binary predicate A <a href="http://sw.opencyc.org/2008/06/10/concept/en/BinaryPredicateTypeByLogicalFeature" class="cyc_term">BinaryPredicateTypeByLogicalFeature</a> and thus a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/BinaryPredicate" class="cyc_term">BinaryPredicate</a>. A binary predicate <code>PRED</code> is an <a href="http://sw.opencyc.org/2008/06/10/concept/en/AntiSymmetricBinaryPredicate" class="cyc_term">AntiSymmetricBinaryPredicate</a> if and only if it has the following two properties. (i) For any <code>THING1</code> and <code>THING2</code> such that both <code>(PRED THING1 THING2)</code> and <code>(PRED THING2 THING1)</code> hold, <code>THING1</code> = <code>THING2</code>. (ii) <code>PRED</code>'s two argument-places must be "co-satisfiable" with respect to their (single-argument) type constraints (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/cosatisfiableInArgs" class="cyc_term">cosatisfiableInArgs</a> and #$NoteOnArgumentCosatisfiabilityRequirement). Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AntiSymmetricBinaryPredicate" class="cyc_term">AntiSymmetricBinaryPredicate</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/greaterThanOrEqualTo" class="cyc_term">greaterThanOrEqualTo</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/parts" class="cyc_term">parts</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/subEvents" class="cyc_term">subEvents</a>. See also the specialization <a href="http://sw.opencyc.org/2008/06/10/concept/en/AsymmetricBinaryPredicate" class="cyc_term">AsymmetricBinaryPredicate</a>; and cf. <a href="http://sw.opencyc.org/2008/06/10/concept/en/SymmetricBinaryPredicate" class="cyc_term">SymmetricBinaryPredicate</a>. AntiSymmetricBinaryPredicate prettyString (<a href="http://sw.opencyc.org/2008/06/10/concept/en/prettyString" class="cyc_term">prettyString</a> TERM STRING) means that STRING is the English word or expression (sequence of words) commonly used to refer to TERM. The predicate <a href="http://sw.opencyc.org/2008/06/10/concept/en/prettyString" class="cyc_term">prettyString</a> is used by the code which generates CycL to English paraphrases, but its applicability is not restricted to this use. Pretty String