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 19426-19426 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 19427-19428
(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 19425-19425 Domestic animal is a subclass of animal

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


(subclass Cow DomesticAnimal) Mid-level-ontology.kif 19585-19585 Cow is a subclass of domestic animal
(subclass DomesticCat DomesticAnimal) Mid-level-ontology.kif 19474-19474 Domestic cat is a subclass of domestic animal
(subclass DomesticDog DomesticAnimal) Mid-level-ontology.kif 19486-19486 Domestic dog is a subclass of domestic animal
(subclass Ferret DomesticAnimal) Mid-level-ontology.kif 30090-30090 Ferret is a subclass of domestic animal
(subclass GuineaPig DomesticAnimal) Mid-level-ontology.kif 30108-30108 Guinea pig is a subclass of domestic animal
(subclass Hamster DomesticAnimal) Mid-level-ontology.kif 30120-30120 Hamster is a subclass of domestic animal
(subclass Livestock DomesticAnimal) Economy.kif 4363-4363 Livestock is a subclass of domestic animal
(subclass Mule DomesticAnimal) Mid-level-ontology.kif 19552-19552 Mule is a subclass of domestic animal
(subclass Sheep DomesticAnimal) Mid-level-ontology.kif 19571-19571 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 19430-19437

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 29901-29904
(=>
    (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 19444-19452
(=>
    (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 24802-24810