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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 19799-19799 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 19800-19801
(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 19798-19798 Domestic animal is a subclass of animal

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


(subclass Cow DomesticAnimal) Mid-level-ontology.kif 19958-19958 Cow is a subclass of domestic animal
(subclass DomesticCat DomesticAnimal) Mid-level-ontology.kif 19847-19847 Domestic cat is a subclass of domestic animal
(subclass DomesticDog DomesticAnimal) Mid-level-ontology.kif 19859-19859 Domestic dog is a subclass of domestic animal
(subclass Ferret DomesticAnimal) Mid-level-ontology.kif 30501-30501 Ferret is a subclass of domestic animal
(subclass GuineaPig DomesticAnimal) Mid-level-ontology.kif 30519-30519 Guinea pig is a subclass of domestic animal
(subclass Hamster DomesticAnimal) Mid-level-ontology.kif 30531-30531 Hamster is a subclass of domestic animal
(subclass Livestock DomesticAnimal) Economy.kif 4367-4367 Livestock is a subclass of domestic animal
(subclass Mule DomesticAnimal) Mid-level-ontology.kif 19925-19925 Mule is a subclass of domestic animal
(subclass Sheep DomesticAnimal) Mid-level-ontology.kif 19944-19944 Sheep is a subclass of domestic animal
(termFormat ChineseLanguage DomesticAnimal "家畜") domainEnglishFormat.kif 20114-20114
(termFormat ChineseTraditionalLanguage DomesticAnimal "家畜") domainEnglishFormat.kif 20113-20113
(termFormat EnglishLanguage DomesticAnimal "domestic animal") domainEnglishFormat.kif 20112-20112

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


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

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 2577-2586
(=>
    (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 2512-2528
(=>
    (and
        (instance ?POLICY PetsAllowedPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (confersNorm ?AGENT
        (exists (?PET)
            (and
                (instance ?PET DomesticAnimal)
                (located ?PET ?LOC))) Permission))
Hotel.kif 2561-2570
(=>
    (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 1852-1864
(=>
    (habitatOfOrganism ?O ?L)
    (not
        (subclass ?O DomesticAnimal)))
Mid-level-ontology.kif 30312-30315
(=>
    (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 19817-19825
(=>
    (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 25226-25234