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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DomesticAnimal

Sigma KEE - DomesticAnimal
DomesticAnimal
رأْس, حيوانات, دواجن, ماشِيّة, مواشِي,

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


(defaultMaximumHeight DomesticAnimal
    (MeasureFn 5.5 FootLength))
DimensioningAmenities.kif 937-937
(defaultMaximumMeasure DomesticAnimal
    (MeasureFn 600 PoundMass))
DimensioningAmenities.kif 939-939
(defaultMinimumHeight DomesticAnimal
    (MeasureFn 0.5 FootLength))
DimensioningAmenities.kif 936-936
(defaultMinimumMeasure DomesticAnimal
    (MeasureFn 3 PoundMass))
DimensioningAmenities.kif 938-938
(disjoint DomesticAnimal Human) Mid-level-ontology.kif 17716-17716
(documentation DomesticAnimal EnglishLanguage "Any Animal that is kept by a Human, as a pet, as livestock, for exhibition, etc.") Mid-level-ontology.kif 17717-17718
(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 17715-17715

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


(subclass Cow DomesticAnimal) Mid-level-ontology.kif 17878-17878
(subclass DomesticCat DomesticAnimal) Mid-level-ontology.kif 17766-17766
(subclass DomesticDog DomesticAnimal) Mid-level-ontology.kif 17777-17777
(subclass Ferret DomesticAnimal) Mid-level-ontology.kif 28642-28642
(subclass GuineaPig DomesticAnimal) Mid-level-ontology.kif 28660-28660
(subclass Hamster DomesticAnimal) Mid-level-ontology.kif 28672-28672
(subclass Livestock DomesticAnimal) Economy.kif 4210-4210
(subclass Mule DomesticAnimal) Mid-level-ontology.kif 17845-17845
(subclass Sheep DomesticAnimal) Mid-level-ontology.kif 17864-17864
(termFormat EnglishLanguage DomesticAnimal "domestic animal") domainEnglishFormat.kif 3775-3775

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


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

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 1789-1801
(=>
    (habitatOfOrganism ?O ?L)
    (not
        (subclass ?O DomesticAnimal)))
Mid-level-ontology.kif 28453-28456
(=>
    (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 17733-17741
(=>
    (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 23212-23220