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 17801-17801 disjoint DomesticAnimal and Human
(documentation DomesticAnimal EnglishLanguage "Any Animal that is kept by a Human, as a pet, as livestock, for exhibition, etc.") Mid-level-ontology.kif 17802-17803
(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 50-50
(subclass DomesticAnimal Animal) Mid-level-ontology.kif 17800-17800 subclass DomesticAnimal and Animal

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


(subclass Cow DomesticAnimal) Mid-level-ontology.kif 17963-17963 subclass Cow and DomesticAnimal
(subclass DomesticCat DomesticAnimal) Mid-level-ontology.kif 17851-17851 subclass DomesticCat and DomesticAnimal
(subclass DomesticDog DomesticAnimal) Mid-level-ontology.kif 17862-17862 subclass DomesticDog and DomesticAnimal
(subclass Ferret DomesticAnimal) Mid-level-ontology.kif 28755-28755 subclass Ferret and DomesticAnimal
(subclass GuineaPig DomesticAnimal) Mid-level-ontology.kif 28773-28773 subclass GuineaPig and DomesticAnimal
(subclass Hamster DomesticAnimal) Mid-level-ontology.kif 28785-28785 subclass Hamster and DomesticAnimal
(subclass Livestock DomesticAnimal) Economy.kif 4210-4210 subclass Livestock and DomesticAnimal
(subclass Mule DomesticAnimal) Mid-level-ontology.kif 17930-17930 subclass Mule and DomesticAnimal
(subclass Sheep DomesticAnimal) Mid-level-ontology.kif 17949-17949 subclass Sheep and DomesticAnimal
(termFormat ChineseLanguage DomesticAnimal "家畜") domainEnglishFormat.kif 20047-20047
(termFormat ChineseTraditionalLanguage DomesticAnimal "家畜") domainEnglishFormat.kif 20046-20046
(termFormat EnglishLanguage DomesticAnimal "domestic animal") domainEnglishFormat.kif 20045-20045

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


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

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 2523-2532
(=>
    (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 2458-2474
(=>
    (and
        (instance ?POLICY PetsAllowedPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (confersNorm ?AGENT
        (exists (?PET)
            (and
                (instance ?PET DomesticAnimal)
                (located ?PET ?LOC))) Permission))		 Hotel.kif 2507-2516
(=>
    (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 1842-1854
(=>
    (habitatOfOrganism ?O ?L)
    (not
        (subclass ?O DomesticAnimal)))		 Mid-level-ontology.kif 28566-28569
(=>
    (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 17818-17826
(=>
    (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 23281-23289