Namespace: concept3 Namespace: owl2xml Namespace: concept Namespace: xsd Namespace: en Namespace: resource Namespace: rdfs Namespace: owl Namespace: cycAnnot Namespace: instances Namespace: sc Namespace: concept2 Namespace: rdf Ontology: Annotations: owl:versionInfo "2008/06/10", rdfs:comment "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."@en ObjectProperty: wikipediaArticleURL Annotations: rdfs:label "wikipediaArticleURL"@en, #cycAnnot:label "wikipediaArticleURL"@en, rdfs:comment "(wikipediaArticleURL THING URL) means that in #$Wikipedia-WebSite THING is described by an article located at URL"@en ObjectProperty: prettyString Annotations: rdfs:comment "(prettyString TERM STRING) means that STRING is the English word or expression (sequence of words) commonly used to refer to TERM. The predicate prettyString is used by the code which generates CycL to English paraphrases, but its applicability is not restricted to this use."@en, rdfs:label "Pretty String"@en, cycAnnot:label "prettyString"@en ObjectProperty: broaderTerm Annotations: rdfs:label "BT"@en, cycAnnot:label "broaderTerm"@en, rdfs:comment "(broaderTerm TERM1 TERM2) means that TERM2 is broader than TERM1, in an extremely general sense of "broader". For example, TERM2 is, in the relevant sense, broader than TERM1 if any of the following hold:

TERM2 is a collection that subsumes TERM1;
TERM2 is a collection that has TERM1 as an instance;
TERM2 is a collection, instances of which have instances of the collection TERM1 as parts;
TERM2 has TERM1 as a part;

This list of reasons for why (broaderTerm TERM1 TERM2) could hold is not exhaustive, but it should give a good indication of how general the broaderTerm relation actually is."@en ObjectProperty: cycAnnot:externalID Annotations: rdfs:label "externalID"@en, rdfs:comment "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."@en Characteristics: Functional DataProperty: prettyString DataProperty: wikipediaArticleURL Class: owl:Thing Class: HerdingDog_FunctionalGroup Annotations: rdfs:label "Herding dog"@en, cycAnnot:label "HerdingDog-FunctionalGroup"@en, rdfs:comment "A collection of Dogs. Instances of HerdingDog_FunctionalGroup are dogs who are, or whose ancestors were, developed to herd livestock."@en SubClassOf: Dog Class: CanisGenus Annotations: rdfs:label "Canis"@en, cycAnnot:label "CanisGenus"@en, rdfs:comment "The genus which contains the species to which domestic dogs and wolves belong."@en Class: BombSniffingDog Annotations: rdfs:label "bomb sniffing dog"@en, rdfs:comment "Each instance of BombSniffingDog is a Dog that has been trained to detect Bombs and other ExplosiveDevices with its sense of smell. Such animals are frequently used by military and police organizations."@en, cycAnnot:label "BombSniffingDog"@en SubClassOf: Dog Class: Retriever_Dog Annotations: cycAnnot:label "Retriever-Dog"@en, rdfs:label "retriever"@en, rdfs:comment "A collection of dogs. Instances of Retriever_Dog are members of breeds used for retrieving game."@en SubClassOf: Dog Class: Dog_MixedBreed Annotations: rdfs:comment "An instance of OrganismClassificationType. Each instance of Dog_MixedBreed is a Dog of mixed breed. Dog_MixedBreed is disjoint with every instance of DogTypeByBreed_Pure."@en, rdfs:label "mixed breed dog"@en, cycAnnot:label "Dog-MixedBreed"@en SubClassOf: Dog Class: Spaniel Annotations: cycAnnot:label "Spaniel"@en, rdfs:comment "A collection of dogs, each instance of which belongs to one of the Spaniel breeds."@en, rdfs:label "Spaniel"@en SubClassOf: Dog Class: Setter_TheDog Annotations: cycAnnot:label "Setter-TheDog"@en, rdfs:comment "A collection of large bird dogs."@en, rdfs:label "setter"@en SubClassOf: Dog Class: SomeSampleKindsOfMammal_Biology_Topic Annotations: rdfs:label "some sample kinds of mammal biology topic"@en, cycAnnot:label "SomeSampleKindsOfMammal-Biology-Topic"@en Class: OutsideDog Annotations: rdfs:comment "The collection of all pet Dogs who live a significant fraction of their lives outdoors."@en, rdfs:label "outside dog"@en, cycAnnot:label "OutsideDog"@en SubClassOf: Dog Class: Terrier_FunctionalGroup Annotations: rdfs:label "terrier"@en, cycAnnot:label "Terrier-FunctionalGroup"@en, rdfs:comment "A collection of Dogs. Instances of Terrier_FunctionalGroup are dogs whose breed background includes some DogTypeByBreed_Pure developed for the hunting and killing of small-to-medium-sized animals. The name 'Terrier' is derived from the Latin 'terra,' or 'ground'. Most terrier types were originally developed in the UnitedKingdomOfGreatBritainAndNorthernIreland."@en SubClassOf: Dog Class: Hound Annotations: rdfs:label "hound dog"@en, rdfs:comment "The collection of all hound dogs, which are dogs that assist hunters by tracking or chasing the animal being hunted. A type of Dog. Hound is an OrganismClassificationType."@en, cycAnnot:label "Hound"@en SubClassOf: Dog Class: ToyDog Annotations: cycAnnot:label "ToyDog"@en, rdfs:comment "A specialization of Dog. Each instance of ToyDog is a member of a small breed of dogs or of a variety smaller than the standard variety of its breed. Examples include instances of ShihTzu and Chihuahua_Dog. As a rule, ToyDog types were developed as companion animals, rather than hunting or sporting dogs."@en, rdfs:label "Toy dog"@en SubClassOf: Dog Class: concept2:Mx4rvVjaoJwpEbGdrcN5Y29ycA Annotations: cycAnnot:label "Dog"@en, rdfs:comment "A BiologicalSpecies (scientific name 'Canis familiaris') that is a specialization of CanineAnimal (q.v.). Each instance of Dog is a canine animal that has either been bred to be a domestic pet (see DomesticatedAnimal) or is a wild canine animal that is not an instance of Wolf, Fox, or any other non-dog specialization of CanineAnimal. Note that although Dog and Wolf are considered distinct BiologicalSpecies, instances of the two can and do interbreed successfully. This species classification is therefore unusual, and in some circles, controversial."@en, rdfs:label "dog"@en Class: concept:Mx4rvVjaoJwpEbGdrcN5Y29ycA Annotations: cycAnnot:label "Dog"@en, rdfs:comment "A BiologicalSpecies (scientific name 'Canis familiaris') that is a specialization of CanineAnimal (q.v.). Each instance of Dog is a canine animal that has either been bred to be a domestic pet (see DomesticatedAnimal) or is a wild canine animal that is not an instance of Wolf, Fox, or any other non-dog specialization of CanineAnimal. Note that although Dog and Wolf are considered distinct BiologicalSpecies, instances of the two can and do interbreed successfully. This species classification is therefore unusual, and in some circles, controversial."@en, rdfs:label "dog"@en Class: Dog Annotations: cycAnnot:label "Dog"@en, cycAnnot:externalID "Mx4rvVjaoJwpEbGdrcN5Y29ycA", rdfs:comment "A BiologicalSpecies (scientific name 'Canis familiaris') that is a specialization of CanineAnimal (q.v.). Each instance of Dog is a canine animal that has either been bred to be a domestic pet (see DomesticatedAnimal) or is a wild canine animal that is not an instance of Wolf, Fox, or any other non-dog specialization of CanineAnimal. Note that although Dog and Wolf are considered distinct BiologicalSpecies, instances of the two can and do interbreed successfully. This species classification is therefore unusual, and in some circles, controversial."@en, rdfs:label "dog"@en SubClassOf: CanisGenus, DomesticatedAnimal Class: StandardSchnauzer Annotations: rdfs:comment "A collection of medium-sized dogs. Their coats are usually pepper and salt or pure black."@en, rdfs:label "standard schnauzer"@en, cycAnnot:label "StandardSchnauzer"@en SubClassOf: Dog Class: Puppy Annotations: rdfs:comment "The collection of all puppies (juvenile dogs). A type of JuvenileAnimal and Dog."@en, rdfs:label "puppy"@en, cycAnnot:label "(JuvenileFn Dog)"@en SubClassOf: Dog Class: concept3:Mx4rvVjaoJwpEbGdrcN5Y29ycA Annotations: cycAnnot:label "Dog"@en, rdfs:comment "A BiologicalSpecies (scientific name 'Canis familiaris') that is a specialization of CanineAnimal (q.v.). Each instance of Dog is a canine animal that has either been bred to be a domestic pet (see DomesticatedAnimal) or is a wild canine animal that is not an instance of Wolf, Fox, or any other non-dog specialization of CanineAnimal. Note that although Dog and Wolf are considered distinct BiologicalSpecies, instances of the two can and do interbreed successfully. This species classification is therefore unusual, and in some circles, controversial."@en, rdfs:label "dog"@en Class: NonHumanAnimal Annotations: rdfs:comment "The collection of all instances of Animal that are not instances of HomoSapiens. See also NonPersonAnimal."@en, cycAnnot:label "NonHumanAnimal"@en, rdfs:label "animal"@en Class: SportingDog_FunctionalGroup Annotations: cycAnnot:label "SportingDog-FunctionalGroup"@en, rdfs:comment "A collection of Dogs. Instances of SportingDog_FunctionalGroup are dogs whose breed background most signficantly includes some DogTypeByBreed_Pure developed to play an assisting role in hunting activities. Retriever, Setter, Pointer, and Spaniel breeds are often classified as specializations of SportingDog_FunctionalGroup."@en, rdfs:label "sporting dog functional group"@en SubClassOf: Dog Class: Female_dog Annotations: cycAnnot:label "(FemaleFn Dog)"@en, rdfs:label "female dog"@en SubClassOf: Dog Class: MiscellaneousClassDog_FunctionalGroup Annotations: rdfs:comment "A collection of dogs. Dogs in the MiscellaneousClassDog_FunctionalGroup may also have ancestry related to the main functional types of dog. However, these dogs are assigned to the MiscellaneousClassDog_FunctionalGroup by a standards organization if that organization determines that ancestry to be insufficiently deep or stable for regular classification. Stability may be evidenced in form of a sufficient breadth and depth of public interest and active breed-specific organization. The MiscellaneousClassDog_FunctionalGroup is really something of a probationary classification. Dog types that are specializations of this group may be re-classified to aonther DogTypeByFunctionalGroup at a later time."@en, rdfs:label "Miscellaneous dog"@en, cycAnnot:label "MiscellaneousClassDog-FunctionalGroup"@en SubClassOf: Dog Class: GermanPointer_Wirehaired Annotations: rdfs:label "German Pointer"@en, cycAnnot:label "GermanPointer-Wirehaired"@en, rdfs:comment "A collection of medium-sized dogs."@en SubClassOf: Dog Class: NonSportingDog_FunctionalGroup Annotations: cycAnnot:label "NonSportingDog-FunctionalGroup"@en, rdfs:comment "A collection of dogs. Dogs in the NonSportingDog_FunctionalGroup have ancestry not specifically related to the main functional types of dog. It is something of a leftovers category, and includes a wide variety of dogs whose breeds are recognized, but are determined by a relevant standards organization not to meet the criteria of the other instances of DogTypeByFunctionalGroup recognized by that organization."@en, rdfs:label "Non-Sporting dog"@en SubClassOf: Dog Class: DomesticatedAnimal Annotations: rdfs:label "domesticated animal"@en, cycAnnot:label "DomesticatedAnimal"@en, rdfs:comment "A specialization of TameAnimal. Each instance of DomesticatedAnimal is an animal that has been bred and trained in such a way that it cannot readily survive in the wild. Domesticated animals are kept by humans for labor, transportation, food, or as pets, and their relations with humans are more or less cooperative. DomesticatedAnimal does _not_ include most wild animals kept in zoos (see CaptiveAnimal). Cf. WildAnimal."@en Class: DomesticatedAnimalType Annotations: rdfs:label "domesticated animal"@en, cycAnnot:label "DomesticatedAnimalType"@en, rdfs:comment "The collection of all types of animals that are commonly domesticated by humans. Instances include Dog, Goldfish, Cattle, etc. Being an instance of DomesticatedAnimalType does not imply that all of a collection's instances are instances of DomesticatedAnimal - so there can be Dogs, Goldfish, etc., that are wild."@en Class: WorkingDog_FunctionalGroup Annotations: cycAnnot:label "WorkingDog-FunctionalGroup"@en, rdfs:comment "A collection of Dogs who are, or whose ancestors were, developed to perform tasks other than Hunting. Examples of such activities may include service to those with sensory or motor disabilties, tracking, rescue work, police, military, and protection work, livestock guarding, and drafting."@en, rdfs:label "Working dog"@en SubClassOf: Dog Class: BiologicalSpecies Annotations: rdfs:label "species"@en, cycAnnot:label "BiologicalSpecies"@en, rdfs:comment "An instance of BiologicalTaxonType. Each instance of BiologicalSpecies is the most general taxon from which two breeding organisms of appropriate sexes can conceivably produce fertile offspring, or, in the case of asexual reproduction, is conventionally defined. Members of different species of animals cannot produce fertile offspring by interbreeding. If there are only two breeds of a given species and one breed becomes extinct, the second breed by virtue of that fact becomes an instance of BiologicalSpecies -- since the only organisms instances can breed with to produce fertile offspring are, at that point, members of that collection. An instance of BiologicalSpecies has members who all have significant traits in common, and members of each biological species have other members as parents. Exceptions occur when a species is conventionally defined to start since parenthood could conceivably be traced back billions of years, yet new species came into existence. In biological taxonomy, related species are grouped into a particular instance of BiologicalGenus. Some genera have only a single species, but they remain different taxons."@en Individual: Dog Types: BiologicalSpecies, DomesticatedAnimalType, SomeSampleKindsOfMammal_Biology_Topic Facts: broaderTerm CanisGenus, broaderTerm DomesticatedAnimal, broaderTerm NonHumanAnimal, prettyString "Canis familiaris"@en, prettyString "doggie"@en, prettyString "dogs"@en, prettyString "hound"@en, prettyString "hounds"@en, wikipediaArticleURL "http://en.wikipedia.org/wiki/Dog" SameAs: resource:Dog, concept2:Mx4rvVjaoJwpEbGdrcN5Y29ycA, concept3:Mx4rvVjaoJwpEbGdrcN5Y29ycA, concept:Mx4rvVjaoJwpEbGdrcN5Y29ycA, sc:Dog, instances:synset-dog-noun-1 Individual: concept2:Mx4rvVjaoJwpEbGdrcN5Y29ycA SameAs: Dog Individual: resource:Dog Annotations: cycAnnot:label "Dog"@en, rdfs:comment "A BiologicalSpecies (scientific name 'Canis familiaris') that is a specialization of CanineAnimal (q.v.). Each instance of Dog is a canine animal that has either been bred to be a domestic pet (see DomesticatedAnimal) or is a wild canine animal that is not an instance of Wolf, Fox, or any other non-dog specialization of CanineAnimal. Note that although Dog and Wolf are considered distinct BiologicalSpecies, instances of the two can and do interbreed successfully. This species classification is therefore unusual, and in some circles, controversial."@en, rdfs:label "dog"@en Types: owl:Thing SameAs: Dog Individual: instances:synset-dog-noun-1 Annotations: cycAnnot:label "Dog"@en, rdfs:comment "A BiologicalSpecies (scientific name 'Canis familiaris') that is a specialization of CanineAnimal (q.v.). Each instance of Dog is a canine animal that has either been bred to be a domestic pet (see DomesticatedAnimal) or is a wild canine animal that is not an instance of Wolf, Fox, or any other non-dog specialization of CanineAnimal. Note that although Dog and Wolf are considered distinct BiologicalSpecies, instances of the two can and do interbreed successfully. This species classification is therefore unusual, and in some circles, controversial."@en, rdfs:label "dog"@en Types: owl:Thing SameAs: Dog Individual: concept3:Mx4rvVjaoJwpEbGdrcN5Y29ycA SameAs: Dog Individual: NonHumanAnimal Individual: sc:Dog Annotations: cycAnnot:label "Dog"@en, rdfs:comment "A BiologicalSpecies (scientific name 'Canis familiaris') that is a specialization of CanineAnimal (q.v.). Each instance of Dog is a canine animal that has either been bred to be a domestic pet (see DomesticatedAnimal) or is a wild canine animal that is not an instance of Wolf, Fox, or any other non-dog specialization of CanineAnimal. Note that although Dog and Wolf are considered distinct BiologicalSpecies, instances of the two can and do interbreed successfully. This species classification is therefore unusual, and in some circles, controversial."@en, rdfs:label "dog"@en Types: owl:Thing SameAs: Dog Individual: DomesticatedAnimal Individual: concept:Mx4rvVjaoJwpEbGdrcN5Y29ycA SameAs: Dog Individual: Dash_VictoriasPet Annotations: cycAnnot:label "Dash-VictoriasPet"@en, rdfs:label "Dash"@en, rdfs:comment "A dog owned by Queen Victoria at the time of her coronation in 1838."@en Types: Dog Individual: CanisGenus