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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DomesticAnimal
DomesticAnimal
breed, domestic_animal, farm_animal, head, livestock, pet, stock, strain

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


s__defaultMaximumHeight(s__DomesticAnimal,s__MeasureFn(5.5,s__FootLength))

DimensioningAmenities.kif 937-937
s__defaultMaximumMeasure(s__DomesticAnimal,s__MeasureFn(600,s__PoundMass))

DimensioningAmenities.kif 939-939
s__defaultMinimumHeight(s__DomesticAnimal,s__MeasureFn(0.5,s__FootLength))

DimensioningAmenities.kif 936-936
s__defaultMinimumMeasure(s__DomesticAnimal,s__MeasureFn(3,s__PoundMass))

DimensioningAmenities.kif 938-938
s__disjoint(s__DomesticAnimal,s__Human)

Mid-level-ontology.kif 17716-17716
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 17717-17718
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__DomesticAnimal,s__SetOrClass)

Mid-level-ontology.kif 17715-17715

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


s__instance(s__DomesticAnimal,s__SetOrClass)

Mid-level-ontology.kif 17878-17878
s__instance(s__DomesticAnimal,s__SetOrClass)

Mid-level-ontology.kif 17766-17766
s__instance(s__DomesticAnimal,s__SetOrClass)

Mid-level-ontology.kif 17777-17777
s__instance(s__DomesticAnimal,s__SetOrClass)

Mid-level-ontology.kif 28642-28642
s__subclass(s__GuineaPig,s__DomesticAnimal)

Mid-level-ontology.kif 28660-28660
s__instance(s__DomesticAnimal,s__SetOrClass)

Mid-level-ontology.kif 28672-28672
s__instance(s__DomesticAnimal,s__SetOrClass)

Economy.kif 4210-4210
s__instance(s__Mule,s__SetOrClass)

Mid-level-ontology.kif 17845-17845
s__instance(s__DomesticAnimal,s__SetOrClass)

Mid-level-ontology.kif 17864-17864
s__termFormat(s__EnglishLanguage,s__DomesticAnimal,'domestic animal')

domainEnglishFormat.kif 3775-3775

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 17720-17727

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2518-2527
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2453-2469
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2502-2511
( ! [V__W,V__T] :
   ((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 1789-1801
( ! [V__O,V__L] :
   (s__habitatOfOrganism(V__O,V__L)
   =>
   (~ s__subclass(V__O,s__DomesticAnimal)))
)

Mid-level-ontology.kif 28453-28456
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17733-17741
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23212-23220