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 17775-17775 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 17776-17777
(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 17774-17774 Domestic animal is a subclass of animal

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


(subclass Cow DomesticAnimal) Mid-level-ontology.kif 17937-17937 Cow is a subclass of domestic animal
(subclass DomesticCat DomesticAnimal) Mid-level-ontology.kif 17825-17825 Domestic cat is a subclass of domestic animal
(subclass DomesticDog DomesticAnimal) Mid-level-ontology.kif 17836-17836 Domestic dog is a subclass of domestic animal
(subclass Ferret DomesticAnimal) Mid-level-ontology.kif 28723-28723 Ferret is a subclass of domestic animal
(subclass GuineaPig DomesticAnimal) Mid-level-ontology.kif 28741-28741 Guinea pig is a subclass of domestic animal
(subclass Hamster DomesticAnimal) Mid-level-ontology.kif 28753-28753 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 17904-17904 Mule is a subclass of domestic animal
(subclass Sheep DomesticAnimal) Mid-level-ontology.kif 17923-17923 Sheep is a subclass of domestic animal
(termFormat ChineseLanguage DomesticAnimal "家畜") domainEnglishFormat.kif 20053-20053 "家畜" is the printable form of domestic animal in ChineseLanguage
(termFormat ChineseTraditionalLanguage DomesticAnimal "家畜") domainEnglishFormat.kif 20052-20052 "家畜" is the printable form of domestic animal in ChineseTraditionalLanguage
(termFormat EnglishLanguage DomesticAnimal "domestic animal") domainEnglishFormat.kif 20051-20051 "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 17779-17786

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 28534-28537
(=>
    (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 17792-17800
(=>
    (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 23244-23252