]> 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. UnitedStatesPerson An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViWHZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByNationality</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1zpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesPerson</a> is a person who is currently among that country's citizens (see the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACJwpEbGdrcN5Y29ycA" class="cyc_term">citizens</a>), or is a participant in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r4VbZRgIxQdeJv7K4QRyNQg" class="cyc_term">NationalCulture</a> of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVikKpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesOfAmerica</a> (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvjD0_5wpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesCulture</a>). American Yankee Americans American people person of U.S. culture United States person American persons United States persons American person United States people Yankees person of American culture The collection of persons who live in the New World, but are of Japanese heritage. japanese-american EthnicGroupOfJapaneseAmericans Asian The collection of persons who identified with ethnic groups of or originally found in Asia or the Pacific Islands. Abbreviated by the U.S. Census Bureau as API. CensusGroupOfAsianOrPacificIslander secret service agent SecretServiceAgent The collection of law-enforcement agents who work for the United States Secret Service. Though many are uniformed officers, and though the USSS is tasked primarily with combatting counterfeiting, secret service agents are usually associated with the personal protection that the agency provides the US President and Vice President and their families. (PersonTypeByCultureFn UnitedStatesCulture) American Native American CensusGroupOfUSNativeAmericans-Generic The collection of persons identified on US census forms as having origins within ethnic groups of Native Americans. USMilitaryServicePersonnel U.S. military personnel <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwNW3K5wpEbGdrcN5Y29ycA" class="cyc_term">USMilitaryServicePersonnel</a> is the collection of all officers and enlisted personnel in any instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWMnypwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesMilitaryOrganization</a>. A person who is eligible for Medicaid coverage. MedicaidPatient Medicaid patient (CollectionIntersectionFn (TheSet BelizeanPerson UnitedStatesPerson)) member of { Belizeans, Americans } (CollectionIntersectionFn (TheSet IsraeliPerson UnitedStatesPerson Civilian)) member of { Israelis, Americans, civilians } CensusGroupOfCaucasians ethnic Caucasian The collection of persons who consider themselves to be Caucasians. This is a rather vague ethnic designation, usually synonymous with `white person' in naive US ethnic classification schemes. The catch-all collection for persons identified as having origins within ethnic groups not explicitly listed by the U.S. Census Bureau. census group of other designated races CensusGroupOfOtherDesignatedRaces middle-class American adult AdultMiddleClassAmerican The collection of all middle-class American adults. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1zpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesPerson</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViw25wpEbGdrcN5Y29ycA" class="cyc_term">MiddleClass</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViNFpwpEbGdrcN5Y29ycA" class="cyc_term">AdultMiddleClassAmerican</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzQbJwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByCulture</a>. The collection of all Californians. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1zpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesPerson</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rP9hG4CwaEdiUggAH6RYvSQ" class="cyc_term">Californian</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv_ZQbZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByGeographicResidence</a>. resident of California Californian U.S. Hispanic EthnicGroupOfHispanicsOfTheUS The collection of all U.S. Hispanics. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirn5wpEbGdrcN5Y29ycA" class="cyc_term">EthnicGroupOfNewWorldHispanics</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1zpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesPerson</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVir4JwpEbGdrcN5Y29ycA" class="cyc_term">EthnicGroupOfHispanicsOfTheUS</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzQbJwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByCulture</a>. US Military intelligence agent (CollectionIntersectionFn (TheSet IntelligenceAgent MilitaryPerson UnitedStatesPerson)) U. S. Secretary of Defense USSecretaryOfDefense The federal Secretary of Defense heads the efforts of the Department of Defense. Really a category embracing many ethnic groups. Nevertheless, white Americans share many cultural or ideological characteristics, some attitudes, by virtue of being members of the `dominant' (white) population. EthnicGroupOfWhitesOfTheUS Caucasian American Texan Texan People living in the state of Texas United States citizen (CitizenFn UnitedStatesOfAmerica) MedicarePatient A person who is eligible for Medicare coverage. Medicare patient EthnicGroupOfBlacksOfTheUS ethnic African American Jermaine Jackson JermaineJackson Randy Jackson RandyJackson Elvis Presley ElvisPresley-Musician Christina Aguilera ChristinaAguilera JohnKluba-SoccerPlayer John Kluba Soccer Player John F. Kennedy Jr. JohnFKennedyJr Alexandra Stevenson AlexandraStevenson-TennisPlayer Rick Barry RickBarry-BasketballPlayer Doug <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAUpwpEbGdrcN5Y29ycA" class="cyc_term">Lenat</a> is the CYC project leader. Lenat Doug Lenat MiaHamm Mia Hamm MichaelJackson Michael Jackson LaToya Jackson LaToyaJackson Sarah Jessica Parker SarahJessicaParker Lenny Kravitz LennyKravitz-MusicalPerformer TheArtistFormerlyKnownAsPrince Prince Church was professor of mathematics at Princeton University and later professor of mathematics and philosophy at UCLA. His work has been greatly influential in the fields of mathematical logic, recursion theory, and theoretical computer science. At the time of his death, Church was widely regarded as the greatest living logician in the world. Among his greatest contributions: the lambda calculus, Church's Thesis (every effectively computable function can be computed by a recursive function). Alonzo Church AlonzoChurch Michael Mukasey MichaelMukasey Richard Feynman RichardFeynman Tom Ridge TomRidge TishaVenturini-SoccerPlayer Tisha Venturini Soccer Player Buddy Holly BuddyHolly PatriciaFord Patricia Ford Dick Dale DickDale ChuckBerry Chuck Berry Person-191 James Glanz ShannonMcMillan-SoccerPlayer Shannon Mc Millan Soccer Player BrianMcBride-SoccerPlayer the Columbus Crew's soccer player RoyLassiter-SoccerPlayer the D.C. United's soccer player CindySheehan Cindy Sheehan, a famous American anti-war activist. Cindy Sheehan JuliusErving-BasketballPlayer Julius Erving JasonKidd-BasketballPlayer Jason Kidd WesleySnipes Wesley Snipes StevieRayVaughan Stevie Ray Vaughan PriscillaTaylor Priscilla Taylor MagicJohnson-BasketballPlayer Earvin "Magic" Johnson John Harkes Soccer Player JohnHarkes-SoccerPlayer JerryWest-BasketballPlayer Jerry West JewelKilcher Jewel Kilcher John Jay JohnJay JohnMcCarthy-ComputerScientist John Mc Carthy BenjaminFranklin The famous US patriot and scientist of the revolutionary war era Benjamin Franklin BoJackson Bo Jackson ArnoldSchwarzenegger Arnold Schwarzenegger John Hancock JohnHancock DianeSawyer Diane Sawyer Sting-ProfessionalWrestler Sting ThomasEdison Thomas Edison WillamTecumsehSherman William Tecumseh Sherman KristineLilly-SoccerPlayer Kristine Lilly Soccer Player Sam Shepard SamShepard-Playwright AlbertBelle-BaseballPlayer Albert Belle Richard Penniman Little Richard, one of the pioneers of Rock and Roll. LittleRichard WilfredSellars <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwUWKLZwpEbGdrcN5Y29ycA" class="cyc_term">WilfredSellars</a> was a systematic philosopher who understood the aim of philosophy as 'to understand how things in the broadest possible sense of the term hang together in the broadest possible sense of the term'. Wilfred Sellars DavidLetterman David Letterman Pete Seeger PeteSeeger StoneColdSteveAustin-Athlete "Stone Cold" Steve Austin JordanOlder-SoccerPlayer Jordan Older Soccer Player HeatherLocklear Heather Locklear Jackie Jackson JackieJackson TonyMeola-SoccerPlayer the Kansas City Wizards's soccer player StephenCKleene Stephen Kleene A student of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rr9CCkSGgEdaaVQBQ2sS97Q" class="cyc_term">AlonzoChurch</a> and one of the greatest logicians of the 20th century. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rr9CpoSGgEdaaVQBQ2sS97Q" class="cyc_term">StephenCKleene</a>'s greatest influence was on theory of computability, both in its mathematical and philosophical aspects. Among its greatest contributions: the development of the theory of degrees of computability, computable ordinals and the arithmetic hierarchy; recursive realizability, an intepretation of intuitionistic mathematics in computability theory. Janet Jackson JanetJackson MarlonJackson Marlon Jackson Marissa Irvin MarissaIrvin-TennisPlayer The American women's pro tennis player. The famous US patriot of the revolutionary war era AlexanderHamilton Alexander Hamilton Michelle Akers MichelleAkers-SoccerPlayer Martina McBride MartinaMcBride-MusicalPerformer Yo-Yo Ma YoYoMa-Cellist BarbraStreisand Barbra Streisand the Notorious B.I.G NotoriousBIG-Musician John Searle is a philosopher who has made major contributions to the study of speech acts, artificial intelligence, intentionality, and consciousness. John Searle JohnSearle Tiger Woods TigerWoods Jennifer Capriati JenniferCapriati-TennisPlayer MichaelPhelps "The famous Olympic Gold-Medalist swimmer." Michael Phelps RichardCronin-Musician Richard Cronin Cobi Jones Soccer Player CobiJones-SoccerPlayer Cher Cher Kevin Johnson KevinJohnson-BasketballPlayer CindyFulsom Cindy Fulsom CharlesPeirce <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvwMvxJwpEbGdrcN5Y29ycA" class="cyc_term">CharlesPeirce</a> was the first significant American <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv-Pbe5wpEbGdrcN5Y29ycA" class="cyc_term">Logician</a>. Charles Peirce BarryBonds-BaseballPlayer Barry Bonds Matt Lauer MattLauer Kobe Bryant KobeBryant-BasketballPlayer JohnDenver-Musician John Denver William Donovan WilliamJDonovan JohnAshcroft John Ashcroft RebbieJackson Rebbie Jackson RegisPhilbin Regis Philbin Ty Cobb TyCobb-BaseballPlayer HaroldLima-Musician Devin Lima WilliamJames William James LLCoolJ-Musician LL Cool J Dan Darling Person-6610 Paula Cole PaulaCole-MusicalPerformer LauraGranville-TennisPlayer The American women's pro tennis player. Laura Granville William H. Gates, Sr. WilliamHGatesSr AlanJackson-MusicalPerformer Alan Jackson Alberto Gonzales AlbertoGonzales David Lewis DavidLewis David Lewis was a philosopher who made major contributions to metaphysics, the philosophy of language and the philosophy of logic. He is perhaps best known for his work on the nature of possible worlds. Willie Nelson WillieNelson Michael Chang MichaelChang-TennisPlayer Richard Hamilton Richard Hamilton, basketball player RichardHamilton-BasketballPlayer MichaelMoore Michael Moore MikePetke-SoccerPlayer the N.Y./N.J. MetroStars's soccer player Ray Allen RayAllen-BasketballPlayer Monica Seles MonicaSeles JeniferLoveHewitt Jenifer Love Hewitt BradFischetti-Musician Brad Fischetti WillardVanOrmanQuine W. V. O. Quine Willard Van Orman Quine was a 20th century metaphysician, epistemologist, and philosopher of logic and language. His main contribution to philosophy was a well-worked out skepticism towards meaning, analyticity, and modality. Tito Jackson TitoJackson HenryRollins-MusicalPerformer Henry Rollins GeorgeSPatton George S. Patton PeteSampras-TennisPlayer Pete Sampras ShaquilleONeal Shaquille O'Neal Michael Jordan MichaelJordan North American The collection of people who are citizens of, or otherwise by status under the jurisdiction of, a country or other <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl2pwpEbGdrcN5Y29ycA" class="cyc_term">GeopoliticalEntity</a> whose territory is located in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj4gpwpEbGdrcN5Y29ycA" class="cyc_term">ContinentOfNorthAmerica</a>. A person native to an area of North America not under the jurisdiction of any <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl2pwpEbGdrcN5Y29ycA" class="cyc_term">GeopoliticalEntity</a> would also be an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj2FJwpEbGdrcN5Y29ycA" class="cyc_term">NorthAmericanCitizenOrSubject</a>. NorthAmericanCitizenOrSubject clarifying collection type ClarifyingCollectionType A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a>. Instances are collections that are usefully invoked for purposes of resolving ambiguity and confusion that arise from the use of non-perspicuous languages. Suppose a human or other intelligent agent uses a language, such as a natural language, that is rife with ambiguity, and uses a word WORD of that language whose intended reference is unclear: in the context WORD might refer to THING1 or to THING2, but not both. One strategy for resolving this ambiguity is to find properties of THING1 and THING2, say P1 and P2, that distinguish them from one another, and ask the speaker whether by "WORD," s/he intended to refer to something with P1, or to something with P2. For example, the speaker might use the word "bank," and in response one might ask whether a financial institution or a piece of shoreline was meant. Clearly, what values of P1 and P2 are chosen cannot be arbitrary; asking whether the speaker meant to refer to a multi-individual agent versus a non-agentive place is not as effective as asking the speaker to choose between the "financial institution" and "shoreline" interpretations described above. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_4bScKNtQdiVw7XtX-HN0Q" class="cyc_term">ClarifyingCollectionType</a> just are those collections -- such as the collection of financial institutions -- that might plausibly be invoked to resolve cases of ambiguity of the kind described here. In particular, suppose TYPE1 is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_4bScKNtQdiVw7XtX-HN0Q" class="cyc_term">ClarifyingCollectionType</a> and TYPE2 is not, and THING is an instance of both TYPE1 and TYPE2. The fact that (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> TYPE1 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_4bScKNtQdiVw7XtX-HN0Q" class="cyc_term">ClarifyingCollectionType</a>) is a reason to prefer TYPE1 over TYPE2 when calculating possible clarifying properties for THING. <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> TERM1 TERM2)</code> means that <code>TERM2</code> is broader than <code>TERM1</code>, in an extremely general sense of "broader". For example, <code>TERM2</code> is, in the relevant sense, broader than <code>TERM1</code> if any of the following hold: <code>TERM2</code> is a collection that subsumes <code>TERM1</code>; <code>TERM2</code> is a collection that has <code>TERM1</code> as an instance; <code>TERM2</code> is a collection, instances of which have instances of the collection <code>TERM1</code> as parts; <code>TERM2</code> has <code>TERM1</code> as a part; This list of reasons for why <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> TERM1 TERM2)</code> could hold is not exhaustive, but it should give a good indication of how general the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> relation actually is. BT broaderTerm An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ret7qgOKgEdmAAAACs6hfSg" class="cyc_term">ConceptTypeByDomain</a>. Generally speaking, instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r46fYpnaNEduAAAACs6hbjw" class="cyc_term">Analyst_PertinentConcept</a> are concepts and relations such as are used by intelligence analysts reasoning about threat situations. Specifically, all core concepts in this domain (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgycE6OKgEdmAAAACs6hfSg" class="cyc_term">coreConceptOfDomain</a>) are either 1) <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBApwpEbGdrcN5Y29ycA" class="cyc_term">BinaryPredicate</a>s referenced in AKB Fact Entry Templates, 2) <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBAZwpEbGdrcN5Y29ycA" class="cyc_term">TernaryPredicate</a>s referenced in AKB Fact Entry Templates, 3:)<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>s that are asserted to be <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvuItPZwpEbGdrcN5Y29ycA" class="cyc_term">argIsa</a>s of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBApwpEbGdrcN5Y29ycA" class="cyc_term">BinaryPredicate</a>s referenced in AKB Fact Entry Templates, 4) <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>s that are asserted to be <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvuItPZwpEbGdrcN5Y29ycA" class="cyc_term">argIsa</a>s of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBAZwpEbGdrcN5Y29ycA" class="cyc_term">TernaryPredicate</a>s referenced in AKB Fact Entry Templates, 5) <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>s that are asserted to be <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvyTLHJwpEbGdrcN5Y29ycA" class="cyc_term">argGenl</a>s of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBAZwpEbGdrcN5Y29ycA" class="cyc_term">TernaryPredicate</a>s referenced in AKB Fact Entry Templates, or 6) concepts or relations that are instances of instances of #$TKBInterfaceCollection. Analyst-PertinentConcept the intelligence analyst reasoning domain A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rAmoSCGJbQdiSXZJvYiNhkQ" class="cyc_term">CycVocabularyTopic</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ" class="cyc_term">KBDependentCollection</a>. UnitedStates-Geography-Topic united states geography topic UnitedStatesPerson An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViWHZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByNationality</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1zpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesPerson</a> is a person who is currently among that country's citizens (see the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACJwpEbGdrcN5Y29ycA" class="cyc_term">citizens</a>), or is a participant in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r4VbZRgIxQdeJv7K4QRyNQg" class="cyc_term">NationalCulture</a> of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVikKpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesOfAmerica</a> (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvjD0_5wpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesCulture</a>). American 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 nationality A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViWHZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByNationality</a> is the collection of all people who are citizens of some country, or who are participants in its <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r4VbZRgIxQdeJv7K4QRyNQg" class="cyc_term">NationalCulture</a> to some significant degree -- or else are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxBCOHrO1QdeBa4-tupoCMQ" class="cyc_term">StatelessPerson</a>. Instances include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1zpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesPerson</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQw1P5wpEbGdrcN5Y29ycA" class="cyc_term">FrenchPerson</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjxIZwpEbGdrcN5Y29ycA" class="cyc_term">AustralianCitizenOrSubject</a>. See also the first-order collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r8TWhdsK7QdeatYOmr38i2A" class="cyc_term">PersonWithNationality</a>. PersonTypeByNationality UnitedStatesPerson An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViWHZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByNationality</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1zpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesPerson</a> is a person who is currently among that country's citizens (see the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACJwpEbGdrcN5Y29ycA" class="cyc_term">citizens</a>), or is a participant in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r4VbZRgIxQdeJv7K4QRyNQg" class="cyc_term">NationalCulture</a> of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVikKpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesOfAmerica</a> (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvjD0_5wpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesCulture</a>). American The collection of persons who have some nationality (cf. the faceting second-order collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViWHZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByNationality</a>), either because they are citizens of some <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIeZwpEbGdrcN5Y29ycA" class="cyc_term">Country</a> (cf. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACJwpEbGdrcN5Y29ycA" class="cyc_term">citizens</a>), or because they are participants in its <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r4VbZRgIxQdeJv7K4QRyNQg" class="cyc_term">NationalCulture</a> to some significant degree, usually by virtue of having been born or raised there. It is disjoint with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxBCOHrO1QdeBa4-tupoCMQ" class="cyc_term">StatelessPerson</a>. person with a nationality PersonWithNationality non empty collection NonEmptyCollection A collection of collections and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rVwwqbE7rQdmaWqcELb2oPw" class="cyc_term">NonEmptySetOrCollection</a>. A collection is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_3mf2qedQdmNjeDW39lDKA" class="cyc_term">NonEmptyCollection</a> if and only if it has at least one instance. Some collections, aguably, are by their very nature necessarily non-empty; e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvl2en5wpEbGdrcN5Y29ycA" class="cyc_term">Set_Mathematical</a>. Conversely, some collections are non-empty in some contexts and empty in others; e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQBg3ZwpEbGdrcN5Y29ycA" class="cyc_term">Horse</a> is non-empty in the context of the present-day actual world but empty in certain counterfactual contexts in which horses never existed. Similarly, a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIE23ZwpEbGdrcN5Y29ycA" class="cyc_term">TimeDependentCollection</a> might be empty at certain times and non-empty at certain other times; e.g. the collection of female US presidents is currently empty but will hopefully become non-empty some time in the near future. This last example demonstrates that <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_3mf2qedQdmNjeDW39lDKA" class="cyc_term">NonEmptyCollection</a> is itself a time-dependent collection. Note that each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_3mf2qedQdmNjeDW39lDKA" class="cyc_term">NonEmptyCollection</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rlyZyQm22EdaAAACgydogAg" class="cyc_term">intersectsWith</a> (q.v.) <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA" class="cyc_term">Thing</a>. Cf. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rDKZQEKVnQdmACrINeAfsGw" class="cyc_term">EmptyCollection</a>. UnitedStatesPerson An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViWHZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByNationality</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1zpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesPerson</a> is a person who is currently among that country's citizens (see the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACJwpEbGdrcN5Y29ycA" class="cyc_term">citizens</a>), or is a participant in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r4VbZRgIxQdeJv7K4QRyNQg" class="cyc_term">NationalCulture</a> of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVikKpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesOfAmerica</a> (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvjD0_5wpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesCulture</a>). American (SampleInstanceOfTypeForProgramFn (SpecsFn Agent-Generic) CycAnalyticEnvironment-TheProgram) Sample Instance Of Type For Program Fn type of generic agent the Cyc Analytic Environment