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 21605-21605 DomesticAnimal と 人［人間］ は disjoint では
(documentation DomesticAnimal EnglishLanguage "Any Animal that is kept by a Human, as a pet, as livestock, for exhibition, etc.") Mid-level-ontology.kif 21606-21607 DomesticAnimal と 人［人間］ は disjoint では
(externalImage DomesticAnimal "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2f/ Rabbit_%28agouti%29_02.jpg") pictureList.kif 948-948 DomesticAnimal と 人［人間］ は disjoint では
(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 DomesticAnimal と 人［人間］ は disjoint では
(subclass DomesticAnimal Animal) Mid-level-ontology.kif 21604-21604 DomesticAnimal は 動物 の subclass では

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


(subclass Cattle DomesticAnimal) Mid-level-ontology.kif 21810-21810 Cattle は DomesticAnimal の subclass では
(subclass DomesticCat DomesticAnimal) Mid-level-ontology.kif 21699-21699 DomesticCat は DomesticAnimal の subclass では
(subclass DomesticDog DomesticAnimal) Mid-level-ontology.kif 21711-21711 DomesticDog は DomesticAnimal の subclass では
(subclass Ferret DomesticAnimal) Mid-level-ontology.kif 32520-32520 Ferret は DomesticAnimal の subclass では
(subclass GuineaPig DomesticAnimal) Mid-level-ontology.kif 32538-32538 GuineaPig は DomesticAnimal の subclass では
(subclass Hamster DomesticAnimal) Mid-level-ontology.kif 32550-32550 Hamster は DomesticAnimal の subclass では
(subclass Livestock DomesticAnimal) Economy.kif 5227-5227 Livestock は DomesticAnimal の subclass では
(subclass Mule DomesticAnimal) Mid-level-ontology.kif 21777-21777 Mule は DomesticAnimal の subclass では
(subclass Sheep DomesticAnimal) Mid-level-ontology.kif 21796-21796 Sheep は DomesticAnimal の subclass では
(termFormat ChineseLanguage DomesticAnimal "家畜") domainEnglishFormat.kif 20133-20133 Sheep は DomesticAnimal の subclass では
(termFormat ChineseTraditionalLanguage DomesticAnimal "家畜") domainEnglishFormat.kif 20132-20132 Sheep は DomesticAnimal の subclass では
(termFormat EnglishLanguage DomesticAnimal "domestic animal") domainEnglishFormat.kif 20131-20131 Sheep は DomesticAnimal の subclass では

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


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

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 2588-2597
(=>
    (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 2523-2539
(=>
    (and
        (instance ?POLICY PetsAllowedPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (confersNorm ?AGENT
        (exists (?PET)
            (and
                (instance ?PET DomesticAnimal)
                (located ?PET ?LOC))) Permission))		 Hotel.kif 2572-2581
(=>
    (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 1992-2004
(=>
    (attribute ?FEED Fodder)
    (hasPurpose ?FEED
        (exists (?ANIMAL ?EAT)
            (and
                (instance ?ANIMAL DomesticAnimal)
                (instance ?EAT Eating)
                (agent ?EAT ?ANIMAL)
                (patient ?EAT ?FEED)))))		 Mid-level-ontology.kif 21639-21647
(=>
    (attribute ?X Fodder)
    (hasPurpose ?X
        (exists (?H)
            (and
                (instance ?H Harvesting)
                (result ?H ?X)
                (instance ?X OrganicObject)
                (instance ?X
                    (FoodForFn DomesticAnimal))))))		 Mid-level-ontology.kif 21628-21637
(=>
    (attribute ?X ForageCrop)
    (hasPurpose ?X
        (exists (?A)
            (and
                (instance ?A Agriculture)
                (result ?A ?X)
                (instance ?X Plant)
                (instance ?X
                    (FoodForFn DomesticAnimal))))))		 Economy.kif 5149-5158
(=>
    (habitatOfOrganism ?O ?L)
    (not
        (subclass ?O DomesticAnimal)))		 Mid-level-ontology.kif 32315-32318
(=>
    (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 27015-27023


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners