]> 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. The subset of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Story" class="cyc_term">Story</a> whose elements contain the propositional content in which two or more instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Person" class="cyc_term">Person</a> engage in <a href="http://sw.opencyc.org/2008/06/10/concept/en/HumanSexualBehavior" class="cyc_term">HumanSexualBehavior</a>. EroticStory Mx4rvthkWpwpEbGdrcN5Y29ycA pornographic story http://en.wikipedia.org/wiki/Erotic_literature dirty story xxx storey pornographic stories xxxx stories pornography story erotic story porn storey sex stories xxx story erotic stories sex story dirty stories porn stories pornography stories pornographic storey xxx stories xxxx story dirty storey porno story sex storey porno storey pornography storey xxxx storey porno stories porn story erotic storey (FreeThingOfTypeFn EroticStory) free pornographic story gay story The subset of <a href="http://sw.opencyc.org/2008/06/10/concept/en/EroticStory" class="cyc_term">EroticStory</a> whose elements contain the propositional content of an <a href="http://sw.opencyc.org/2008/06/10/concept/en/EroticStory" class="cyc_term">EroticStory</a> in which two or more instances of #$MalePerson engage in <a href="http://sw.opencyc.org/2008/06/10/concept/en/HomosexualBehavior_Male" class="cyc_term">HomosexualBehavior_Male</a>. GayStory BestialityStory The subset of <a href="http://sw.opencyc.org/2008/06/10/concept/en/EroticStory" class="cyc_term">EroticStory</a> whose elements contain the propositional content of an <a href="http://sw.opencyc.org/2008/06/10/concept/en/EroticStory" class="cyc_term">EroticStory</a> in which there is at least a <a href="http://sw.opencyc.org/2008/06/10/concept/en/Person" class="cyc_term">Person</a> and at least a <a href="http://sw.opencyc.org/2008/06/10/concept/en/NonPersonAnimal" class="cyc_term">NonPersonAnimal</a> participant. bestiality story The subset of <a href="http://sw.opencyc.org/2008/06/10/concept/en/EroticStory" class="cyc_term">EroticStory</a> whose elements contain the propositional content of an erotic story in which one or more instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Incest" class="cyc_term">Incest</a> are described. incest story IncestStory The subset of <a href="http://sw.opencyc.org/2008/06/10/concept/en/EroticStory" class="cyc_term">EroticStory</a> whose elements contain the propositional content of an <a href="http://sw.opencyc.org/2008/06/10/concept/en/EroticStory" class="cyc_term">EroticStory</a> in which two or more instances of #$FemalePerson engage in <a href="http://sw.opencyc.org/2008/06/10/concept/en/HomosexualBehavior_Female" class="cyc_term">HomosexualBehavior_Female</a>. lesbian story LesbianStory SpankingStory spanking story The subset of <a href="http://sw.opencyc.org/2008/06/10/concept/en/EroticStory" class="cyc_term">EroticStory</a> whose elements contain the propositional content of an <a href="http://sw.opencyc.org/2008/06/10/concept/en/EroticStory" class="cyc_term">EroticStory</a> in which an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Spanking" class="cyc_term">Spanking</a> occurs. BondageStory The specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/EroticStory" class="cyc_term">EroticStory</a> whose elements contain the propositional content of an <a href="http://sw.opencyc.org/2008/06/10/concept/en/EroticStory" class="cyc_term">EroticStory</a> in which an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Bondage_Sexual" class="cyc_term">Bondage_Sexual</a> occurs. bondage story RapeStory The subset of <a href="http://sw.opencyc.org/2008/06/10/concept/en/EroticStory" class="cyc_term">EroticStory</a> whose elements contain the propositional content of an <a href="http://sw.opencyc.org/2008/06/10/concept/en/EroticStory" class="cyc_term">EroticStory</a> in which an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Rape" class="cyc_term">Rape</a> occurs. rape story type of object The collection of all collections that are "object-like" in at least one respect. A collection <code>COL</code> is object-like just in case there is some sense of 'part' according to which any (or nearly any) given proper part of an instance of <code>COL</code> is not itself an instance of <code>COL</code>; when this happens <code>COL</code> is said to be object-like with respect to that sense of 'part'. More precisely, for a collection <code>COL</code> to be an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectType" class="cyc_term">ObjectType</a> it is sufficient that there be some specialization <code>PARTPRED</code> of <a href="http://sw.opencyc.org/2008/06/10/concept/en/properParts" class="cyc_term">properParts</a> such that, for any <code>OBJ1</code> and <code>OBJ2</code>, if <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/isa" class="cyc_term">isa</a> OBJ1 COL)</code> and <code>(PARTPRED OBJ1 OBJ2)</code> both hold, then <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/isa" class="cyc_term">isa</a> OBJ2 COL)</code> does not hold. (Also sufficient for <code>COL</code>'s being an object-type is that there be some specialization <code>INVPARTPRED</code> of the inverse of <a href="http://sw.opencyc.org/2008/06/10/concept/en/properParts" class="cyc_term">properParts</a> (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/genlInverse" class="cyc_term">genlInverse</a>) such that <code>(INVPARTPRED OBJ2 OBJ1)</code>, with everything else remaining the same as above.) Note that neither of the above sufficient conditions for <code>COL</code>'s being an object-type is strictly necessary: some exceptions are allowed. Thus as long as either one of the above conditionals holds in nearly all cases, <code>COL</code> should be considered an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectType" class="cyc_term">ObjectType</a>. Here are two examples. Consider <a href="http://sw.opencyc.org/2008/06/10/concept/en/Automobile" class="cyc_term">Automobile</a>. Take an instance of that, say my car. Now consider one of the proper <a href="http://sw.opencyc.org/2008/06/10/concept/en/physicalParts" class="cyc_term">physicalParts</a> of my car, say the steering wheel. The steering wheel is not an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Automobile" class="cyc_term">Automobile</a>. And the same would be true for any proper physical part of any car. So <a href="http://sw.opencyc.org/2008/06/10/concept/en/Automobile" class="cyc_term">Automobile</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectType" class="cyc_term">ObjectType</a>. Consider <a href="http://sw.opencyc.org/2008/06/10/concept/en/CalendarYear" class="cyc_term">CalendarYear</a>. No proper <a href="http://sw.opencyc.org/2008/06/10/concept/en/timeSlices" class="cyc_term">timeSlices</a> of a year is itself a year. So <a href="http://sw.opencyc.org/2008/06/10/concept/en/CalendarYear" class="cyc_term">CalendarYear</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectType" class="cyc_term">ObjectType</a>. See <a href="http://sw.opencyc.org/2008/06/10/concept/en/StuffType" class="cyc_term">StuffType</a> for the contrasting (though not disjoint) notion of being stuff-like. ObjectType The subset of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Story" class="cyc_term">Story</a> whose elements contain the propositional content in which two or more instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Person" class="cyc_term">Person</a> engage in <a href="http://sw.opencyc.org/2008/06/10/concept/en/HumanSexualBehavior" class="cyc_term">HumanSexualBehavior</a>. EroticStory pornographic story pornography PornographicMaterial-Legal This is the subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PornographicMaterial" class="cyc_term">PornographicMaterial</a> possession of which is not explicitly illegal. See the comment on <a href="http://sw.opencyc.org/2008/06/10/concept/en/PornographicMaterial_Illegal" class="cyc_term">PornographicMaterial_Illegal</a>. The subset of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Story" class="cyc_term">Story</a> whose elements contain the propositional content in which two or more instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Person" class="cyc_term">Person</a> engage in <a href="http://sw.opencyc.org/2008/06/10/concept/en/HumanSexualBehavior" class="cyc_term">HumanSexualBehavior</a>. EroticStory pornographic story The subset of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Story" class="cyc_term">Story</a> whose elements contain the propositional content in which two or more instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Person" class="cyc_term">Person</a> engage in <a href="http://sw.opencyc.org/2008/06/10/concept/en/HumanSexualBehavior" class="cyc_term">HumanSexualBehavior</a>. EroticStory pornographic story (<a href="http://sw.opencyc.org/2008/06/10/concept/en/wikipediaArticleURL" class="cyc_term">wikipediaArticleURL</a> THING URL) means that in #$Wikipedia-WebSite THING is described by an article located at URL wikipediaArticleURL wikipediaArticleURL The subset of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Story" class="cyc_term">Story</a> whose elements contain the propositional content in which two or more instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Person" class="cyc_term">Person</a> engage in <a href="http://sw.opencyc.org/2008/06/10/concept/en/HumanSexualBehavior" class="cyc_term">HumanSexualBehavior</a>. EroticStory pornographic story The collection of microtheories each of which contains the assertional content of a story -- a <a href="http://sw.opencyc.org/2008/06/10/concept/en/Narrative" class="cyc_term">Narrative</a> describing a particular sequence of events which occur to one or more characters in the story. The story is at least partially fictional as opposed to "true stories". Story story The subset of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Story" class="cyc_term">Story</a> whose elements contain the propositional content in which two or more instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Person" class="cyc_term">Person</a> engage in <a href="http://sw.opencyc.org/2008/06/10/concept/en/HumanSexualBehavior" class="cyc_term">HumanSexualBehavior</a>. EroticStory pornographic story 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