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 est disjoint de humain
(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 est disjoint de humain
(externalImage DomesticAnimal "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2f/ Rabbit_%28agouti%29_02.jpg") pictureList.kif 948-948 DomesticAnimal est disjoint de humain
(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 est disjoint de humain
(subclass DomesticAnimal Animal) Mid-level-ontology.kif 21604-21604 DomesticAnimal est une sous-classe de animal

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


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

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