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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DomesticAnimal
DomesticAnimal

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


(disjoint DomesticAnimal Human) Mid-level-ontology.kif 19426-19426
(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

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


(subclass Cow DomesticAnimal) Mid-level-ontology.kif 19585-19585
(subclass DomesticCat DomesticAnimal) Mid-level-ontology.kif 19474-19474
(subclass DomesticDog DomesticAnimal) Mid-level-ontology.kif 19486-19486
(subclass Ferret DomesticAnimal) Mid-level-ontology.kif 30090-30090
(subclass GuineaPig DomesticAnimal) Mid-level-ontology.kif 30108-30108
(subclass Hamster DomesticAnimal) Mid-level-ontology.kif 30120-30120
(subclass Livestock DomesticAnimal) Economy.kif 4363-4363
(subclass Mule DomesticAnimal) Mid-level-ontology.kif 19552-19552
(subclass Sheep DomesticAnimal) Mid-level-ontology.kif 19571-19571
(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