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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DomesticAnimal
DomesticAnimal(domestic animal)
breed, farm_animal, head, livestock, pet, stock, strain

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


s__disjoint(s__DomesticAnimal,s__Human)

Mid-level-ontology.kif 17776-17776 Domestic animal is disjoint from human
s__documentation(s__DomesticAnimal,s__EnglishLanguage,'"Any Animal that is kept by a Human, as a pet, as livestock, for exhibition, etc."')

Mid-level-ontology.kif 17777-17778
s__externalImage(s__DomesticAnimal,'"http://upload.wikimedia.org/wikipedia/commons/ 2/ 2f/ Rabbit_%28agouti%29_02.jpg"')

pictureList.kif 949-949
s__externalImage(s__DomesticAnimal,'"http://upload.wikimedia.org/wikipedia/commons/ thumb/ 2/ 2b/ Livestock_7_lamb.jpg/ 200px-Livestock_7_lamb.jpg"')

pictureList-ImageNet.kif 50-50
s__instance(s__Animal,s__SetOrClass)

s__instance(s__DomesticAnimal,s__SetOrClass)

s__subclass(s__DomesticAnimal,s__Animal)

Mid-level-ontology.kif 17775-17775 Domestic animal is a subclass of animal

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


s__instance(s__Cow,s__SetOrClass)

s__instance(s__DomesticAnimal,s__SetOrClass)

s__subclass(s__Cow,s__DomesticAnimal)

Mid-level-ontology.kif 17938-17938 Cow is a subclass of domestic animal
s__instance(s__DomesticCat,s__SetOrClass)

s__subclass(s__DomesticCat,s__DomesticAnimal)

s__instance(s__DomesticAnimal,s__SetOrClass)

Mid-level-ontology.kif 17826-17826 Domestic cat is a subclass of domestic animal
s__instance(s__DomesticDog,s__SetOrClass)

s__subclass(s__DomesticDog,s__DomesticAnimal)

s__instance(s__DomesticAnimal,s__SetOrClass)

Mid-level-ontology.kif 17837-17837 Domestic dog is a subclass of domestic animal
s__subclass(s__Ferret,s__DomesticAnimal)

s__instance(s__Ferret,s__SetOrClass)

s__instance(s__DomesticAnimal,s__SetOrClass)

Mid-level-ontology.kif 28731-28731 Ferret is a subclass of domestic animal
s__subclass(s__GuineaPig,s__DomesticAnimal)

s__instance(s__GuineaPig,s__SetOrClass)

s__instance(s__DomesticAnimal,s__SetOrClass)

Mid-level-ontology.kif 28749-28749 Guinea pig is a subclass of domestic animal
s__instance(s__Hamster,s__SetOrClass)

s__subclass(s__Hamster,s__DomesticAnimal)

s__instance(s__DomesticAnimal,s__SetOrClass)

Mid-level-ontology.kif 28761-28761 Hamster is a subclass of domestic animal
s__instance(s__Livestock,s__SetOrClass)

s__subclass(s__Livestock,s__DomesticAnimal)

s__instance(s__DomesticAnimal,s__SetOrClass)

Economy.kif 4210-4210 Livestock is a subclass of domestic animal
s__instance(s__Mule,s__SetOrClass)

s__instance(s__DomesticAnimal,s__SetOrClass)

s__subclass(s__Mule,s__DomesticAnimal)

Mid-level-ontology.kif 17905-17905 Mule is a subclass of domestic animal
s__subclass(s__Sheep,s__DomesticAnimal)

s__instance(s__DomesticAnimal,s__SetOrClass)

s__instance(s__Sheep,s__SetOrClass)

Mid-level-ontology.kif 17924-17924 Sheep is a subclass of domestic animal
s__termFormat(s__ChineseLanguage,s__DomesticAnimal,'"家畜"')

domainEnglishFormat.kif 20047-20047
s__termFormat(s__ChineseTraditionalLanguage,s__DomesticAnimal,'"家畜"')

domainEnglishFormat.kif 20046-20046
s__termFormat(s__EnglishLanguage,s__DomesticAnimal,'"domestic animal"')

domainEnglishFormat.kif 20045-20045

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


( ! [V__ANIMAL] :
   (s__instance(V__ANIMAL,s__DomesticAnimal) =>
     ( ? [V__KEEP, V__PERSON] :
       ((s__instance(V__KEEP,s__Keeping) &
           s__agent(V__KEEP,V__PERSON)
         &
         s__instance(V__PERSON,s__Human) &
         s__patient(V__KEEP,V__ANIMAL))))
)
)

Mid-level-ontology.kif 17780-17787

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2523-2532
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2458-2474
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2507-2516
( ! [V__T,V__W] :
   ((s__instance(V__W,s__Wagon) &
       s__instance(V__T,s__Transportation) &
       s__instrument(V__T,V__W))
   =>
   ( ? [V__P] :
     ((s__instance(V__T,s__Pulling) &
         s__agent(V__T,V__P)
       &
       s__patient(V__T,V__W)
     &
     (s__instance(V__P,s__DomesticAnimal) |
       s__instance(V__P,s__Vehicle)))))
)
)

Transportation.kif 1842-1854
( ! [V__O,V__L] :
   ((s__subclass(V__O,s__Organism) &
       s__instance(V__O,s__SetOrClass) &
       s__instance(V__L,s__GeographicArea))
     =>
     s__habitatOfOrganism(V__O,V__L)
   =>
   ~(s__subclass(V__O,s__DomesticAnimal))
   )
)

Mid-level-ontology.kif 28542-28545
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17793-17801
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23256-23264