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, domestic_animal, farm_animal, head, livestock, pet, stock, strain

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


(disjoint DomesticAnimal Human) Mid-level-ontology.kif 17774-17774 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 17775-17776
(externalImage DomesticAnimal "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2f/ Rabbit_%28agouti%29_02.jpg") pictureList.kif 949-949 "http://upload.wikimedia.org/wikipedia/commons/2/2f/ Rabbit_%28agouti%29_02.jpg" is a URL depicting domestic animal
(externalImage DomesticAnimal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 2/ 2b/ Livestock_7_lamb.jpg/ 200px-Livestock_7_lamb.jpg") pictureList-ImageNet.kif 50-50 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 2b/ Livestock_7_lamb.jpg/ 200px-Livestock_7_lamb.jpg" is a URL depicting domestic animal
(subclass DomesticAnimal Animal) Mid-level-ontology.kif 17773-17773 Domestic animal is a subclass of animal

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


(subclass Cow DomesticAnimal) Mid-level-ontology.kif 17936-17936 Cow is a subclass of domestic animal
(subclass DomesticCat DomesticAnimal) Mid-level-ontology.kif 17824-17824 Domestic cat is a subclass of domestic animal
(subclass DomesticDog DomesticAnimal) Mid-level-ontology.kif 17835-17835 Domestic dog is a subclass of domestic animal
(subclass Ferret DomesticAnimal) Mid-level-ontology.kif 28722-28722 Ferret is a subclass of domestic animal
(subclass GuineaPig DomesticAnimal) Mid-level-ontology.kif 28740-28740 Guinea pig is a subclass of domestic animal
(subclass Hamster DomesticAnimal) Mid-level-ontology.kif 28752-28752 Hamster is a subclass of domestic animal
(subclass Livestock DomesticAnimal) Economy.kif 4210-4210 Livestock is a subclass of domestic animal
(subclass Mule DomesticAnimal) Mid-level-ontology.kif 17903-17903 Mule is a subclass of domestic animal
(subclass Sheep DomesticAnimal) Mid-level-ontology.kif 17922-17922 Sheep is a subclass of domestic animal
(termFormat EnglishLanguage DomesticAnimal "domestic animal") domainEnglishFormat.kif 3775-3775 "domestic animal" is the printable form of domestic animal in english language

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


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

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 2518-2527
(=>
    (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 2453-2469
(=>
    (and
        (instance ?POLICY PetsAllowedPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (confersNorm ?AGENT
        (exists (?PET)
            (and
                (instance ?PET DomesticAnimal)
                (located ?PET ?LOC))) Permission))
Hotel.kif 2502-2511
(=>
    (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 1816-1828
(=>
    (habitatOfOrganism ?O ?L)
    (not
        (subclass ?O DomesticAnimal)))
Mid-level-ontology.kif 28533-28536
(=>
    (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 17791-17799
(=>
    (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 23243-23251