]> 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. SexualBehaviorType type of sexual behavior Element of this <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a> are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a>s whose instances are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViADZwpEbGdrcN5Y29ycA" class="cyc_term">Event</a>s that are also instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA" class="cyc_term">SexualBehavior</a>. Not every subset of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA" class="cyc_term">SexualBehavior</a> is an instance of this collection, as there are subsets of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA" class="cyc_term">SexualBehavior</a> that would not be commonly regarded as `types' of sexual behaviour (e.g. the collection consisting of two events, two butterflies copulating on a tree leaf and Oedipus and Jocasta indulging in incest). sexual behaviour types of sexual behavior sexual behavior fetishism Fetishism A spec of ParaphilicSexualBehavior in which sexuoerotic arousal and facilitation or attainment of orgasm are responsive to, and contingent on a particular talisman or fetish object, substance, or part of the body belonging to the partner. Common objects of fetishistic behavior include feet, latex or rubber, and manekins. oral sex The collection of events involving oral stimulation of the genitals. OralSex Anilingus The collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA" class="cyc_term">SexualBehavior</a> events in which somebody's <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaEZwpEbGdrcN5Y29ycA" class="cyc_term">Anus</a> is orally stimulated in order to bring about <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwMMe4ZwpEbGdrcN5Y29ycA" class="cyc_term">SexualArousal</a>. rim job sixty-nine SixtyNine The collection of events involving simultaneous events of oral stimulation of male and female sexual organs by the two performers of the act. See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwD-B95wpEbGdrcN5Y29ycA" class="cyc_term">Fellatio</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv8pNZZwpEbGdrcN5Y29ycA" class="cyc_term">Cunnilingus</a>. (FetishFn Foot-AnimalBodyPart) fetish fn foot This collection includes acts of viewing others (often surreptitiously) who are naked or undressing, or who are engaged in some sexual behavior. The viewer's goal is sexual titilation. Voyeurism voyeurism Foreplay foreplay erotic caressing performed as a prelude to <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjL8pwpEbGdrcN5Y29ycA" class="cyc_term">SexualCopulation</a> The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA" class="cyc_term">SexualBehavior</a> in which at least one of the participants is <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rbqdVPHTAEdaAAACgyZzFrg" class="cyc_term">Married</a>, and at least one of the other participants is not that person's <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjVkZwpEbGdrcN5Y29ycA" class="cyc_term">spouse</a>. ExtraMaritalSexualBehavior adultery The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA" class="cyc_term">SexualBehavior</a> by two or more participants of the same sex. Note that this refers only to the sexual behavior itself, not to any other behaviors that may happen to be exhibited by <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1JZwpEbGdrcN5Y29ycA" class="cyc_term">HomosexualHuman</a>s. homosexual behavior HomosexualBehavior Incest incest Acts of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjL8pwpEbGdrcN5Y29ycA" class="cyc_term">SexualCopulation</a> between persons who are closely related by blood. The legal definition includes persons who are so closely related that they are forbidden to marry. Many instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwKPUnJwpEbGdrcN5Y29ycA" class="cyc_term">Incest</a> are also instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQrfCZwpEbGdrcN5Y29ycA" class="cyc_term">Rape</a>. The collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvegLrpwpEbGdrcN5Y29ycA" class="cyc_term">ParaphilicSexualBehavior</a>s includes activities or behaviors which are experienced by those so-oriented as erotic or sexually stimulating. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvegLrpwpEbGdrcN5Y29ycA" class="cyc_term">ParaphilicSexualBehavior</a>s are those behaviors considered non-erotic, deviant, or repugnant to the general populace. For example, the activities included in Pedophilia are experienced as erotic to someone with pedophilic proclivities. unconventional sexual behavior ParaphilicSexualBehavior bestiality Bestiality An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv9VDQJwpEbGdrcN5Y29ycA" class="cyc_term">SexualBehaviorType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvegLrpwpEbGdrcN5Y29ycA" class="cyc_term">ParaphilicSexualBehavior</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwKv2YJwpEbGdrcN5Y29ycA" class="cyc_term">Bestiality</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA" class="cyc_term">SexualBehavior</a> involving a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjgZpwpEbGdrcN5Y29ycA" class="cyc_term">NonPersonAnimal</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a>s who compulsively engage (or are tempted to engage) in instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwKv2YJwpEbGdrcN5Y29ycA" class="cyc_term">Bestiality</a> are said to be afflicted with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rplsTsS0GEdiLGQACs5b6-g" class="cyc_term">Zoophilia</a> (q.v.). GroupSex group orgy The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA" class="cyc_term">SexualBehavior</a> with three or more participants whom the behavior is <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVipYpwpEbGdrcN5Y29ycA" class="cyc_term">performedBy</a>. microphilia Microphilia Microphilia is the erotic fascination with shrinking and/or science-fictionally tiny persons, generally women. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLrwG5wpEbGdrcN5Y29ycA" class="cyc_term">Microphilia</a> contains those instances in which that fascination is manifest. bondage Bondage-Sexual This is the collection of instances of ConstrainingEvent in which one or more agents constains one or more other agents for the purpose of sexual pleasure. orgy SexualOrgy A collection of parties in which a primary, intended activity is many people having sex, often with people they don't know very well. fellatio The collection involving events of oral stimulation of the penis. Fellatio prostitution Prostitution Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwGFccZwpEbGdrcN5Y29ycA" class="cyc_term">Prostitution</a> is an event in which a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQySppwpEbGdrcN5Y29ycA" class="cyc_term">Prostitute</a> performs <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA" class="cyc_term">SexualBehavior</a> with a client for money. AnalSex anal sex The collection of events involving anal penetration of one agent with another agent's penis. femdom FeminineDominance The kind of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQJ_E5wpEbGdrcN5Y29ycA" class="cyc_term">SexualServitude</a> in which a woman plays the role of the master. pedophilia female child This collection involves behaviors which treat female children as sexual objects of (male or female) adult desires. Pedophilia-FemaleChild PhoneSex The collection of all acts of phone sex. In an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv54bdZwpEbGdrcN5Y29ycA" class="cyc_term">PhoneSex</a>, two (or more) people who are #$CommunicatingByTelephone get sexual titilation or satisfaction from saying explicit sexual things to each other. phone sex lesbian sex The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwEhCIZwpEbGdrcN5Y29ycA" class="cyc_term">HomosexualBehavior</a> involving two or more females. Note that this refers only to the sexual behavior itself, not to any other behaviors that may happen to be exhibited by <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1JZwpEbGdrcN5Y29ycA" class="cyc_term">HomosexualHuman</a>s. HomosexualBehavior-Female MenageATrois 3-way sex The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA" class="cyc_term">SexualBehavior</a> with exactly three participants whom the behavior is <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVipYpwpEbGdrcN5Y29ycA" class="cyc_term">performedBy</a>. The collection of events involving insertion of the entire fist in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaEZwpEbGdrcN5Y29ycA" class="cyc_term">Anus</a> or the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1B5wpEbGdrcN5Y29ycA" class="cyc_term">Vagina</a> for the purpose of sexual stimulation. Fisting fisting SexualCopulation sexual intercourse In the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBEZwpEbGdrcN5Y29ycA" class="cyc_term">BaseKB</a>, this refers to the act of two animals engaged in sexual copulation. See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj-c5wpEbGdrcN5Y29ycA" class="cyc_term">HumanActivitiesMt</a> (and related Mts) for assertions about this activity by <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a>s. The set of events in which instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> are engaged in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA" class="cyc_term">SexualBehavior</a>. human sexual behavior HumanSexualBehavior Pedophilia-MaleChild This collection involves behaviors which treat male children as sexual objects of (male or female) adult desires. boy sex infantilism Infantilism-Sexual The collection of all <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA" class="cyc_term">SexualBehavior</a>s where sexual pleasure is derived from acting or being treated as an infant. People who participate in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLBVoJwpEbGdrcN5Y29ycA" class="cyc_term">Infantilism_Sexual</a> are usually adults, and will often wear diapers, carry pacifiers, and be bottle- or spoon-fed by another adult acting as a nurse or parent. necrophilia The collection of behaviors which involve erotic interest in and stimulation by dead bodies. Necrophilia indecent exposure An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv9VDQJwpEbGdrcN5Y29ycA" class="cyc_term">SexualBehaviorType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVikupwpEbGdrcN5Y29ycA" class="cyc_term">DisplayingSomething</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwN8NSpwpEbGdrcN5Y29ycA" class="cyc_term">Exhibitionism_TheAction</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVioQZwpEbGdrcN5Y29ycA" class="cyc_term">Action</a> in which a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> deliberately exposes his or her <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv6GN85wpEbGdrcN5Y29ycA" class="cyc_term">ExternalSexOrgan</a>s in public. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a>s who compulsively engage in instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwN8NSpwpEbGdrcN5Y29ycA" class="cyc_term">Exhibitionism_TheAction</a> are said to be afflicted with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rplsTsC0GEdiLGQACs5b6-g" class="cyc_term">Exhibitionism_TheCondition</a> (q.v.). Exhibitionism-TheAction sex slave SexualServitude Also referred to as ``sexual bondage'', <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQJ_E5wpEbGdrcN5Y29ycA" class="cyc_term">SexualServitude</a> is an oft considered perverse kind of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA" class="cyc_term">SexualBehavior</a> which requires at least two people. One person playing the role of master commands another person playing the role of servant to perform certain actions some of which are sexual. Sitophilia sitophilia The events in this collection include sexual behaviors involving the use of food items (e.g. vegetables). cunnilingus The collection of events involving oral stimulation of the external female genitalia. Cunnilingus HomosexualBehavior-Male The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwEhCIZwpEbGdrcN5Y29ycA" class="cyc_term">HomosexualBehavior</a> involving two or more males. Note that this refers only to the sexual behavior itself, not to any other behaviors that may happen to be exhibited by <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1JZwpEbGdrcN5Y29ycA" class="cyc_term">HomosexualHuman</a>s. gay male sex This collection involves events of non-copulatory genital stimulation; many instances of this collection are reflexive events, where the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVipYpwpEbGdrcN5Y29ycA" class="cyc_term">performedBy</a> and the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi65pwpEbGdrcN5Y29ycA" class="cyc_term">objectActedOn</a> roles are filled by the same participant. Masturbating masturbation Pedophilia-TheAction pedophilia An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv9VDQJwpEbGdrcN5Y29ycA" class="cyc_term">SexualBehaviorType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvegLrpwpEbGdrcN5Y29ycA" class="cyc_term">ParaphilicSexualBehavior</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv2gDMZwpEbGdrcN5Y29ycA" class="cyc_term">Pedophilia_TheAction</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVioQZwpEbGdrcN5Y29ycA" class="cyc_term">Action</a> in which a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> engages in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA" class="cyc_term">SexualBehavior</a> with a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjPMJwpEbGdrcN5Y29ycA" class="cyc_term">HumanChild</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a>s who compulsively engage in instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv2gDMZwpEbGdrcN5Y29ycA" class="cyc_term">Pedophilia_TheAction</a> are said to be afflicted with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rplsTsi0GEdiLGQACs5b6-g" class="cyc_term">Pedophilia_TheCondition</a> (q.v.). The collection of all specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>, that is, of all collections of (first-order) collections, and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHUFI8h_TEdaAAABQ2rksLw" class="cyc_term">ThirdOrderCollection</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> are collections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>s. Any instance of any instance of any instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>. SecondOrderCollection second-order Cyc collection SexualBehaviorType type of sexual behavior Element of this <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a> are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a>s whose instances are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViADZwpEbGdrcN5Y29ycA" class="cyc_term">Event</a>s that are also instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA" class="cyc_term">SexualBehavior</a>. Not every subset of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA" class="cyc_term">SexualBehavior</a> is an instance of this collection, as there are subsets of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA" class="cyc_term">SexualBehavior</a> that would not be commonly regarded as `types' of sexual behaviour (e.g. the collection consisting of two events, two butterflies copulating on a tree leaf and Oedipus and Jocasta indulging in incest). Pretty String (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" 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/Mx4rwLSVCpwpEbGdrcN5Y29ycA" 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. prettyString The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_4bScKNtQdiVw7XtX-HN0Q" class="cyc_term">ClarifyingCollectionType</a> that are used by the #$KRAKEN application to resolve natural language ambiguities. KE clarifying collection type KEClarifyingCollectionType SexualBehaviorType type of sexual behavior Element of this <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a> are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a>s whose instances are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViADZwpEbGdrcN5Y29ycA" class="cyc_term">Event</a>s that are also instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA" class="cyc_term">SexualBehavior</a>. Not every subset of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA" class="cyc_term">SexualBehavior</a> is an instance of this collection, as there are subsets of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA" class="cyc_term">SexualBehavior</a> that would not be commonly regarded as `types' of sexual behaviour (e.g. the collection consisting of two events, two butterflies copulating on a tree leaf and Oedipus and Jocasta indulging in incest). AtemporalNecessarilyEssentialCollectionType A collection of collections. Each instance <code>COL</code> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rqEYnNVMqEdaSKAACs0x8nw" class="cyc_term">AtemporalNecessarilyEssentialCollectionType</a> (ANECT) is a collection satisfying three conditions: (1) <code>COL</code> is disjoint with (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA45wpEbGdrcN5Y29ycA" class="cyc_term">disjointWith</a>) <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a>, (2) every instance <code>INST</code> of <code>COL</code> is an instance of <code>COL</code> essentially (i.e. <code>INST</code> is an instance of <code>COL</code>, and could not exist without being an instance of <code>COL</code>), and (3) condition (2) is a necessary truth about <code>COL</code>. Positive examples of ANECTs include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieEpwpEbGdrcN5Y29ycA" class="cyc_term">Integer</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzZwpEbGdrcN5Y29ycA" class="cyc_term">Relation</a> (each of which is a collection of atemporals and is such that, necessarily, all of its instances are in it essentially). Negative examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjpUZwpEbGdrcN5Y29ycA" class="cyc_term">SpatialThing</a> (though arguably it is necessary that all of its instances are essentially instances of it, it is not disjoint with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a>) and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP4FM5wpEbGdrcN5Y29ycA" class="cyc_term">UniqueAnatomicalPartType</a> (which, though disjoint with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a>, has instances, such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjvDpwpEbGdrcN5Y29ycA" class="cyc_term">Heart</a>, that could exist even if they weren't instances of it; e.g. it might have been the case that every creature with a heart had at least two hearts). There are no known examples of Cyc-reified collections satisfying conditions (1) and (2) but not (3), but one can be contrived. Suppose that all of today's winning lottery numbers were primes. Now consider the collection: (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrhK-JwpEbGdrcN5Y29ycA" class="cyc_term">CollectionUnionFn</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjkdpwpEbGdrcN5Y29ycA" class="cyc_term">TheSet</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjrdZwpEbGdrcN5Y29ycA" class="cyc_term">PrimeNumber</a> TodaysWinningLotteryNumbers)) This collection is clearly disjoint with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a> and, by hypothesis, all of its instances are in it essentially (as each prime number is essentially a prime number). But this last fact is not necessarily true of this collection: the collection might have had instances that belonged to it only contingently (i.e. not essentially), as it might have been the case that one of today's winning lottery numbers was non-prime, and no number is such that it is essentially one of today's winning lottery numbers. When asserting that something is an instance or specialization of a given instance of ANECT, it is appropriate to do so in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r3_SgQU2iEdaCwAACs0x8nw" class="cyc_term">UniversalVocabularyMt</a> (q.v.). Indeed, ANECT was specially defined to facilitate the movement of appropriate assertions to that microtheory. Cf. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rGeylLJTfEdqAAAACs0uFOQ" class="cyc_term">PragmaticallyDecontextualizedCollection</a>. type of atemporal collection in which membership is necessarily essential first-order collection An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNooX_CChEdaAAABQ2rksLw" class="cyc_term">FixedOrderCollection</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a> is the collection of all specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a> (q.v.) Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViq35wpEbGdrcN5Y29ycA" class="cyc_term">TemporalObjectType</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVny6pwpEbGdrcN5Y29ycA" class="cyc_term">ExistingStuffType</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a>. FirstOrderCollection