Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  DomesticAnimal

Sigma KEE - DomesticAnimal
DomesticAnimal(domestic animal)
breed, farm_animal, head, livestock, pet, stock, strain

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


(disjoint DomesticAnimal Human) Mid-level-ontology.kif 19314-19314 Domestic animal is disjoint from human
(documentation DomesticAnimal EnglishLanguage "Any Animal that is kept by a Human, as a pet, as livestock, for exhibition, etc.") Mid-level-ontology.kif 19315-19316
(externalImage DomesticAnimal "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2f/ Rabbit_%28agouti%29_02.jpg") pictureList.kif 949-949
(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
(subclass DomesticAnimal Animal) Mid-level-ontology.kif 19313-19313 Domestic animal is a subclass of animal

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


(subclass Cow DomesticAnimal) Mid-level-ontology.kif 19473-19473 Cow is a subclass of domestic animal
(subclass DomesticCat DomesticAnimal) Mid-level-ontology.kif 19362-19362 Domestic cat is a subclass of domestic animal
(subclass DomesticDog DomesticAnimal) Mid-level-ontology.kif 19374-19374 Domestic dog is a subclass of domestic animal
(subclass Ferret DomesticAnimal) Mid-level-ontology.kif 29936-29936 Ferret is a subclass of domestic animal
(subclass GuineaPig DomesticAnimal) Mid-level-ontology.kif 29954-29954 Guinea pig is a subclass of domestic animal
(subclass Hamster DomesticAnimal) Mid-level-ontology.kif 29966-29966 Hamster is a subclass of domestic animal
(subclass Livestock DomesticAnimal) Economy.kif 4213-4213 Livestock is a subclass of domestic animal
(subclass Mule DomesticAnimal) Mid-level-ontology.kif 19440-19440 Mule is a subclass of domestic animal
(subclass Sheep DomesticAnimal) Mid-level-ontology.kif 19459-19459 Sheep is a subclass of domestic animal
(termFormat ChineseLanguage DomesticAnimal "家畜") domainEnglishFormat.kif 20115-20115
(termFormat ChineseTraditionalLanguage DomesticAnimal "家畜") domainEnglishFormat.kif 20114-20114
(termFormat EnglishLanguage DomesticAnimal "domestic animal") domainEnglishFormat.kif 20113-20113

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


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

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


(=>
    (and
        (instance ?POLICY NoPetsPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (deprivesNorm ?AGENT
        (exists (?PET)
            (and
                (instance ?PET DomesticAnimal)
                (located ?PET ?LOC))) Permission))
Hotel.kif 2550-2559
(=>
    (and
        (instance ?POLICY PetPolicy)
        (policyLocationCoverage ?POLICY ?LOC))
    (or
        (containsInformation ?POLICY
            (modalAttribute
                (exists (?PET1)
                    (and
                        (instance ?PET1 DomesticAnimal)
                        (located ?PET1 ?LOC))) Permission))
        (containsInformation ?POLICY
            (modalAttribute
                (exists (?PET2)
                    (and
                        (instance ?PET2 DomesticAnimal)
                        (located ?PET2 ?LOC))) Prohibition))))
Hotel.kif 2485-2501
(=>
    (and
        (instance ?POLICY PetsAllowedPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (confersNorm ?AGENT
        (exists (?PET)
            (and
                (instance ?PET DomesticAnimal)
                (located ?PET ?LOC))) Permission))
Hotel.kif 2534-2543
(=>
    (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 1860-1872
(=>
    (habitatOfOrganism ?O ?L)
    (not
        (subclass ?O DomesticAnimal)))
Mid-level-ontology.kif 29747-29750
(=>
    (instance ?FEED Fodder)
    (hasPurpose ?FEED
        (exists (?ANIMAL ?EAT)
            (and
                (instance ?ANIMAL DomesticAnimal)
                (instance ?EAT Eating)
                (agent ?EAT ?ANIMAL)
                (patient ?EAT ?FEED)))))
Mid-level-ontology.kif 19332-19340
(=>
    (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 24657-24665