[From CYC Knowledge base]

Collection : Dog

GAF Arg : 1

Mt : UniversalVocabularyMt

isa :

BiologicalSpecies ConventionalClassificationType

genls :

CanisGenus CanineAnimal

Mt : BaseKB

genls :

Mammal

Mt : DomesticBreedsVocabularyMt

genls :

DomesticatedAnimal

Mt : UniversalVocabularyMt

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, such as the Australian #$Dingo. 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."

Mt : AnimalActivitiesMt

conceptuallyRelated :

BarkingSound

Mt : BaseKB

definingMt :

BiologyVocabularyMt

Mt : UniversalVocabularyMt

facets-Strict :

DogTypeByBreed-Pure

Mt : BiologyMt
(futureAssertion Dog "A leash law requires dogs in public places to be kept on a leash."
       (forAll X
           (implies
               (NIL X "leash law")
               ("stipulates" X
                   (NIL Y
                       (NIL NIL)
                       (NIL Z
                           (Y NIL)
                           (NIL
                               (NIL Z "public place")
                               (NIL
                                   (NIL Z
                                       ("animal running freely" NIL)
                                       (NIL Y Z))))))))))
(futureAssertion Dog "A dog license is a legal permit"
       (genls "dog license" "legal permit"))
(futureAssertion Dog "A dog on a leash cannot run freely."
       (forAll X
           (implies
               (NIL X NIL)
               (NIL Y
                   ("leash" NIL)
                   (NIL
                       ("restrains" Y X)
                       (NIL
                           (NIL Z
                               ("animal running freely" NIL)
                               (NIL X Z))))))))
(futureAssertion Dog "A leash law is a law"
       (genls "leash law" "law"))
(futureAssertion Dog "A dog owner has to have a dog license."
       (forAll X
           (implies
               (NIL X NIL)
               (NIL Y
                   (X NIL)
                   ("required to have" Y "dog license")))))
(futureAssertion Dog "A leash is a device used to prevent an animal from running freely."
       ("primary preventative use type" "leash" "animal running freely"))

Mt : GeneralEnglishMt

genStringAssertion :

M(denotation Dog-TheWord CountNoun 0 Dog)

Mt : BiologyMt
(keClarifyingCollection Dog)

maximumDurationForType :

(YearsDuration 29)

Mt : NewLatinLexicalMt

scientificName :

"Canis familiaris"

Mt : UniversalVocabularyMt

superTaxons :

CanisGenus CanineAnimal

Mt : WordNetMappingMt
(synonymousExternalConcept Dog WordNet-1997Version "N01595188")

Mt : AnimalActivitiesMt
((TypeCapableFn behaviorCapable) Dog BarkingSound doneBy)

Mt : AnimalPhysiologyMt
((TypeCapableFn behaviorCapable) Dog Sweating bodilyDoer)

---

GAF Arg : 2

Mt : BaseKB
(isa
       (GenericInstanceFn Dog) Dog)

Mt : BiologyMt
(isa
       (GenericInstanceFn Dog) Dog)

Mt : UniversalVocabularyMt
(genls Terrier-Boston Dog)
(genls Pointer-TheDog Dog)
(genls Hound Dog)
(genls EnglishSpringerSpaniel Dog)
(genls Dachshund-WirehairedVariety Dog)
(genls ItalianGreyhound Dog)
(genls EnglishToySpaniel-KingCharlesAndRubyVariety Dog)
(genls Terrier-Manchester Dog)
(genls Terrier-FoxWire Dog)
(genls Terrier-Border Dog)
(genls Pointer-GermanShorthaired Dog)
(genls AustralianShepherd Dog)
(genls Collie Dog)
(genls NovaScotiaDuckTollingRetriever Dog)
(genls Pug-TheDog Dog)
(genls Terrier-SoftCoatedWheaten Dog)
(genls Terrier-Yorkshire Dog)
(genls IrishSetter Dog)
(genls Greyhound-Dog Dog)
(genls Mastiff Dog)
(genls Akita-TheDog Dog)
(genls Affenpinscher Dog)
(genls Puli Dog)
(genls BullMastiff Dog)
(genls Dachshund-LonghairedVariety Dog)
(genls GiantSchnauzer Dog)
(genls Harrier-TheDog Dog)
(genls DobermanPinscher Dog)
(genls SiberianHusky Dog)
(genls BorderCollie Dog)
(genls EnglishSetter Dog)
(genls ShihTzu Dog)
(genls RhodesianRidgeback Dog)
(genls GreatPyrenees Dog)
(genls Spaniel Dog)
(genls BeardedCollie Dog)
(genls Setter-TheDog Dog)
(genls Collie-RoughCoatedVariety Dog)
(genls ManchesterTerrier-ToySizedVariety Dog)
(genls NonSportingDog-FunctionalGroup Dog)
(genls OldEnglishSheepdog Dog)
(genls Papillon Dog)
(genls Terrier-Sealyham Dog)
(genls LabradorRetriever Dog)
(genls SharPei Dog)
(genls AustralianCattleDog Dog)
(genls Collie-SmoothCoatedVariety Dog)
(genls Terrier-FoxSmooth Dog)
(genls ShetlandSheepdog Dog)
(genls Poodle Dog)
(genls Otterhound Dog)
(genls OutsideDog Dog)
(genls NorwegianElkhound Dog)
(genls AnatolianShepherd Dog)
(genls Terrier-Airedale Dog)
(genls Terrier-WestHighlandWhite Dog)
(genls BichonFrise Dog)
(genls Terrier-Scottish Dog)
(genls SportingDog-FunctionalGroup Dog)
(genls Poodle-MiniatureSizedVariety Dog)
(genls ChineseCrested Dog)
(genls WelshCorgi-Pembroke Dog)
(genls Chihuahua-Dog Dog)
(genls Basenji Dog)
(genls Terrier-WhiteBull Dog)
(genls CockerSpaniel-PartiColorVariety Dog)
(genls Kuvasz Dog)
(genls Bulldog Dog)
(genls Maltese-TheDog Dog)
(genls WorkingDog-FunctionalGroup Dog)
(genls MiscellaneousClassDog-FunctionalGroup Dog)
(genls IbizanHound Dog)
(genls CurlyCoatedRetriever Dog)
(genls Whippet Dog)
(genls Briard Dog)
(genls AmericanWaterSpaniel Dog)
(genls GreatDane Dog)
(genls BrusselsGriffon Dog)
(genls Chihuahua-LongCoatVariety Dog)
(genls Weimaraner Dog)
(genls Dalmatian Dog)
(genls PortugueseWaterDog Dog)
(genls Keeshond Dog)
(genls Terrier-Norfolk Dog)
(genls HerdingDog-FunctionalGroup Dog)
(genls Poodle-StandardSizedVariety Dog)
(genls Samoyed-TheDog Dog)
(genls GermanPointer-Wirehaired Dog)
(genls IrishWolfhound Dog)
(genls Poodle-ToySizedVariety Dog)
(genls ChowChow Dog)
(genls Terrier-ColoredBull Dog)
(genls BerneseMountainDog Dog)
(genls ScottishDeerhound Dog)
(genls GordonSetter Dog)
(genls Terrier-Australian Dog)
(genls Havanese-TheDog Dog)
(genls Chihuahua-SmoothCoatVariety Dog)
(genls Terrier-StaffordshireBull Dog)
(genls Terrier-Skye Dog)
(genls Terrier-Bull Dog)
(genls Dachshund-SmoothCoatedVariety Dog)
(genls Borzoi Dog)
(genls BassetHound Dog)
(genls MiniaturePinscher Dog)
(genls Terrier-AmericanStaffordshire Dog)
(genls EnglishToySpaniel-PrinceCharlesAndBlenheimVariety Dog)
(genls Newfoundland-TheDog Dog)
(genls Terrier-Irish Dog)
(genls Pekingese-TheDog Dog)
(genls EnglishToySpaniel Dog)
(genls CockerSpaniel-AnySolidColorOtherThanBlackVariety Dog)
(genls Retriever-Dog Dog)
(genls AfghanHound Dog)
(genls Schipperke Dog)
(genls Terrier-FunctionalGroup Dog)
(genls CockerSpaniel Dog)
(genls CockerSpaniel-BlackVariety Dog)
(genls BelgianSheepdog Dog)
(genls GermanShepherd Dog)
(genls Bloodhound Dog)
(genls Dachshund Dog)
(genls WelshCorgi-Cardigan Dog)
(genls MiniatureSchnauzer Dog)
(genls Dachshund-MiniatureSizedVariety Dog)
(genls Pointer-GermanWireHaired Dog)
(genls BouvierDesFlandres Dog)
(genls Terrier-Bedlington Dog)
(genls AlaskanMalamute Dog)
(genls PharaohHound Dog)
(genls Saluki Dog)
(genls Terrier-Cairn Dog)
(genls ManchesterTerrier-StandardSizedVariety Dog)
(genls Terrier-Lakeland Dog)
(genls Brittany-TheDog Dog)
(genls GoldenRetriever Dog)
(genls Terrier-Silky Dog)
(genls ToyDog Dog)
(genls SaintBernard Dog)
(genls LhasaApso Dog)
(genls Terrier-KerryBlue Dog)
(genls Pomeranian-TheDog Dog)
(genls Terrier-ParsonJackRussell Dog)
(genls Rottweiler Dog)
(genls Boxer-TheDog Dog)
(genls Beagle Dog)
(genls StandardSchnauzer Dog)
(genls Dachshund-StandardSizedVariety Dog)
(genls ClumberSpaniel Dog)
(genls Vizsla Dog)
(genls ChesapeakeBayRetriever Dog)
(genls Terrier-Norwich Dog)

Mt : BaseKB
(genls
       (FemaleFn Dog) Dog)
(genls
       (JuvenileFn Dog) Dog)

Mt : BiologyVocabularyMt
(genls
       (FemaleFn Dog) Dog)
(genls
       (JuvenileFn Dog) Dog)

Mt : UniversalVocabularyMt
(disjointWith Wolf Dog)

Mt : AnimalActivitiesMt
(conceptuallyRelated BarkingSound Dog)

Mt : BiologyMt
(genericallyIsa
       (GenericInstanceFn Dog) Dog)
(relationAllExists ancestors Dog Wolf)
(relationAllInstance age Dog
       (YearsDuration 0 15))
(relationAllInstance massOfObject Dog
       (Pound-UnitOfMass 5 150))
(relationAllInstance widthOfObject Dog
       (Inch 3 15))
(relationAllInstance lengthOfObject Dog
       (Foot-UnitOfMeasure 0.5 4))
(relationAllInstance heightOfObject Dog
       (Inch 6 40))

Mt : UniversalVocabularyMt
(typeGenls DogTypeByBreed-Pure Dog)

---

GAF Arg : 3

Mt : BaseKB
(relationAllExists bodilyDoer
       (SubcollectionOfWithRelationToTypeFn Shedding bodilyDoer Dog) Dog)

---

GAF Arg : 4

Mt : GeneralEnglishMt
M(denotation Dog-TheWord CountNoun 0 Dog)
(denotation Hound-TheWord CountNoun 0 Dog)
M(denotation Doggie-TheWord CountNoun 0 Dog)

---

NART Arg : 1

(FemaleFn Dog)

(GenericInstanceFn Dog)

(JuvenileFn Dog)

---

NART Arg : 3

(SubcollectionOfWithRelationToTypeFn Shedding bodilyDoer Dog)

---

isa Antecedent Rules

Mt : BaseKB
Direction : Backward
(implies
       (and
           (equals BiologicalSpecies ?TYPE)
           (isa ?INS Dog))
       (abnormal
           (TheList ?INS ?COL ?TYPE)
           M(implies
                   (and
                       (isa ?INS ?COL)
                       (facets-Covering ?COL ?TYPE))
                   (keStrongSuggestion ?INS
                       (thereExists ?FACET
                           (and
                               (isa ?FACET ?TYPE)
                               (isa ?INS ?FACET)))))))
(implies
       (and
           (equals BiologicalSubspecies ?TYPE)
           (isa ?INS Dog))
       (abnormal
           (TheList ?INS ?COL ?TYPE)
           M(implies
                   (and
                       (isa ?INS ?COL)
                       (facets-Covering ?COL ?TYPE))
                   (keStrongSuggestion ?INS
                       (thereExists ?FACET
                           (and
                               (isa ?FACET ?TYPE)
                               (isa ?INS ?FACET)))))))

---

Miscellaneous References :

(examplePredSentences relationExistsExists
       (relationExistsExists loves Person Dog)) in AnimalActivitiesMt
(examplePredSentences similarity-Propositional
       (similarity-Propositional Dog Cat
           (partTypes Dog Tail-BodyPart)
           (partTypes Cat Tail-BodyPart))) in RKFExperimentalTermsMt
(examplePredSentences organismTypePhenotype-Enumeration
       (organismTypePhenotype-Enumeration Dog QuadrupedBodyShaped)) in BiologyMt
(not
       (typicalColorOfType Dog ?COLOR)) in AnimalPhysiologyMt
(keCommonQueryExample
       (querySimilarityOnTerms :WHAT Cat Dog)) in RKF-TKCP-DemoEnvironmentMt
(keCommonQueryExample
       (queryBasicComparisonOnTerms :WHAT Dog Cat)) in RKF-TKCP-DemoEnvironmentMt

---

Copyright © 1995 - 2004 Cycorp. All rights reserved.