| 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 |
| statement |
|
|
| s__instance(s__Fodder,s__SetOrClass)
|
Mid-level-ontology.kif 17729-17729 |
|
|
|