Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - DomesticAnimal
DomesticAnimal

appearance as argument number 1
-------------------------


(subclass DomesticAnimal Animal) Mid-level-ontology.kif 22232-22232
(disjoint DomesticAnimal Human) Mid-level-ontology.kif 22233-22233
(documentation DomesticAnimal EnglishLanguage "Any Animal that is kept by a Human, as a pet, as livestock, for exhibition, etc.") Mid-level-ontology.kif 22234-22235
(defaultMinimumHeight DomesticAnimal
    (MeasureFn 0.5 FootLength))		 DimensioningAmenities.kif 938-938
(defaultMaximumHeight DomesticAnimal
    (MeasureFn 5.5 FootLength))		 DimensioningAmenities.kif 939-939
(defaultMinimumMeasure DomesticAnimal
    (MeasureFn 3 PoundMass))		 DimensioningAmenities.kif 940-940
(defaultMaximumMeasure DomesticAnimal
    (MeasureFn 600 PoundMass))		 DimensioningAmenities.kif 941-941
(externalImage DomesticAnimal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 2/ 2b/ Livestock_7_lamb.jpg/ 200px_Livestock_7_lamb.jpg") pictureList-ImageNet.kif 49-49
(externalImage DomesticAnimal "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2f/ Rabbit_%28agouti%29_02.jpg") pictureList.kif 948-948

appearance as argument number 2
-------------------------


(subclass DomesticCat DomesticAnimal) Mid-level-ontology.kif 22327-22327
(subclass DomesticDog DomesticAnimal) Mid-level-ontology.kif 22339-22339
(subclass Mule DomesticAnimal) Mid-level-ontology.kif 22409-22409
(subclass Sheep DomesticAnimal) Mid-level-ontology.kif 22428-22428
(subclass Cattle DomesticAnimal) Mid-level-ontology.kif 22442-22442
(subclass Ferret DomesticAnimal) Mid-level-ontology.kif 33233-33233
(subclass GuineaPig DomesticAnimal) Mid-level-ontology.kif 33251-33251
(subclass Hamster DomesticAnimal) Mid-level-ontology.kif 33263-33263
(subclass Livestock DomesticAnimal) Economy.kif 5224-5224
(termFormat EnglishLanguage DomesticAnimal "domestic animal") domainEnglishFormat.kif 20124-20124
(termFormat ChineseTraditionalLanguage DomesticAnimal "家畜") domainEnglishFormat.kif 20125-20125
(termFormat ChineseLanguage DomesticAnimal "家畜") domainEnglishFormat.kif 20126-20126

antecedent
-------------------------


(=>
    (instance ?ANIMAL DomesticAnimal)
    (exists (?KEEP ?PERSON)
        (and
            (instance ?KEEP Keeping)
            (agent ?KEEP ?PERSON)
            (instance ?PERSON Human)
            (patient ?KEEP ?ANIMAL))))		 Mid-level-ontology.kif 22237-22244

consequent
-------------------------


(=>
    (attribute ?X Fodder)
    (hasPurpose ?X
        (exists (?H)
            (and
                (instance ?H Harvesting)
                (result ?H ?X)
                (instance ?X OrganicObject)
                (instance ?X
                    (FoodForFn DomesticAnimal))))))		 Mid-level-ontology.kif 22256-22265
(=>
    (attribute ?FEED Fodder)
    (hasPurpose ?FEED
        (exists (?ANIMAL ?EAT)
            (and
                (instance ?ANIMAL DomesticAnimal)
                (instance ?EAT Eating)
                (agent ?EAT ?ANIMAL)
                (patient ?EAT ?FEED)))))		 Mid-level-ontology.kif 22267-22275
(=>
    (instance ?KENNEL Kennel)
    (hasPurpose ?KENNEL
        (exists (?ANIMAL ?CONFINING)
            (and
                (instance ?ANIMAL DomesticAnimal)
                (instance ?CONFINING Confining)
                (patient ?CONFINING ?ANIMAL)
                (eventLocated ?CONFINING ?KENNEL)))))		 Mid-level-ontology.kif 27656-27664
(=>
    (habitatOfOrganism ?O ?L)
    (not
        (subclass ?O DomesticAnimal)))		 Mid-level-ontology.kif 33043-33046
(=>
    (attribute ?X ForageCrop)
    (hasPurpose ?X
        (exists (?A)
            (and
                (instance ?A Agriculture)
                (result ?A ?X)
                (instance ?X Plant)
                (instance ?X
                    (FoodForFn DomesticAnimal))))))		 Economy.kif 5146-5155
(=>
    (and
        (instance ?POLICY PetPolicy)
        (policyLocationCoverage ?POLICY ?LOC))
    (or
        (containsFormula ?POLICY
            (modalAttribute
                (exists (?PET1)
                    (and
                        (instance ?PET1 DomesticAnimal)
                        (located ?PET1 ?LOC))) Permission))
        (containsFormula ?POLICY
            (modalAttribute
                (exists (?PET2)
                    (and
                        (instance ?PET2 DomesticAnimal)
                        (located ?PET2 ?LOC))) Prohibition))))		 Hotel.kif 2530-2546
(=>
    (and
        (instance ?POLICY PetsAllowedPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (confersNorm ?AGENT Permission
        (exists (?PET)
            (and
                (instance ?PET DomesticAnimal)
                (located ?PET ?LOC)))))		 Hotel.kif 2579-2588
(=>
    (and
        (instance ?POLICY NoPetsPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (deprivesNorm ?AGENT Permission
        (exists (?PET)
            (and
                (instance ?PET DomesticAnimal)
                (located ?PET ?LOC)))))		 Hotel.kif 2595-2604
(=>
    (and
        (instance ?W Wagon)
        (instance ?T Transportation)
        (instrument ?T ?W))
    (exists (?P)
        (and
            (instance ?T Pulling)
            (agent ?T ?P)
            (patient ?T ?W)
            (or
                (instance ?P DomesticAnimal)
                (instance ?P Vehicle)))))		 Transportation.kif 2007-2019


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners