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 17775-17775 DomesticAnimal と 人［人間］ は disjoint では %n
(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 externalImage DomesticAnimal and "http://upload.wikimedia.org/wikipedia/commons/2/2f/ Rabbit_%28agouti%29_02.jpg"
(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 externalImage DomesticAnimal and "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 2b/ Livestock_7_lamb.jpg/ 200px-Livestock_7_lamb.jpg"
(subclass DomesticAnimal Animal) Mid-level-ontology.kif 17774-17774 DomesticAnimal は 動物 の subclass では %n

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


(subclass Cow DomesticAnimal) Mid-level-ontology.kif 17937-17937 Cow は DomesticAnimal の subclass では %n
(subclass DomesticCat DomesticAnimal) Mid-level-ontology.kif 17825-17825 DomesticCat は DomesticAnimal の subclass では %n
(subclass DomesticDog DomesticAnimal) Mid-level-ontology.kif 17836-17836 DomesticDog は DomesticAnimal の subclass では %n
(subclass Ferret DomesticAnimal) Mid-level-ontology.kif 28723-28723 Ferret は DomesticAnimal の subclass では %n
(subclass GuineaPig DomesticAnimal) Mid-level-ontology.kif 28741-28741 GuineaPig は DomesticAnimal の subclass では %n
(subclass Hamster DomesticAnimal) Mid-level-ontology.kif 28753-28753 Hamster は DomesticAnimal の subclass では %n
(subclass Livestock DomesticAnimal) Economy.kif 4210-4210 Livestock は DomesticAnimal の subclass では %n
(subclass Mule DomesticAnimal) Mid-level-ontology.kif 17904-17904 Mule は DomesticAnimal の subclass では %n
(subclass Sheep DomesticAnimal) Mid-level-ontology.kif 17923-17923 Sheep は DomesticAnimal の subclass では %n
(termFormat ChineseLanguage DomesticAnimal "家畜") domainEnglishFormat.kif 20053-20053 termFormat ChineseLanguage, DomesticAnimal and "家畜"
(termFormat ChineseTraditionalLanguage DomesticAnimal "家畜") domainEnglishFormat.kif 20052-20052 termFormat ChineseTraditionalLanguage, DomesticAnimal and "家畜"
(termFormat EnglishLanguage DomesticAnimal "domestic animal") domainEnglishFormat.kif 20051-20051 termFormat EnglishLanguage, DomesticAnimal and "domestic animal"

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