HoofedMammal - Sigma Knowledge base Browser

appearance as argument number 1

(subclass HoofedMammal Mammal)	Merge.kif 14902-14902
(documentation HoofedMammal EnglishLanguage "The Class of quadruped Mammals with hooves. Includes horses, cows, sheep, pigs, antelope, etc.")	Merge.kif 14903-14904
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 42/ Tapirus_indicus.jpg/ 250px_Tapirus_indicus.jpg")	pictureList-ImageNet.kif 77-77
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 7/ 7b/ Donkey_1_arp_750px.jpg/ 180px_Donkey_1_arp_750px.jpg")	pictureList-ImageNet.kif 78-78
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 6/ 6d/ Pronghorn_antelope.jpg/ 250px_Pronghorn_antelope.jpg")	pictureList-ImageNet.kif 79-79
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ d6/ Horse_2005-08-06_(Cheval).jpg/ 180px_Horse_2005-08-06_(Cheval).jpg")	pictureList-ImageNet.kif 80-80
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/zh/thumb/ 3/ 36/ Zzzzzzzzz.jpg/ 250px_Zzzzzzzzz.jpg")	pictureList-ImageNet.kif 81-81
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ e/ e9/ Orycteropus_afer01.jpg/ 200px_Orycteropus_afer01.jpg")	pictureList-ImageNet.kif 82-82
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ b4/ Oreamnos_americanus_0.jpg/ 250px_Oreamnos_americanus_0.jpg")	pictureList-ImageNet.kif 83-83
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ fd/ Mangalarga_Marchador.jpg/ 300px_Mangalarga_Marchador.jpg")	pictureList-ImageNet.kif 84-84
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/en/thumb/ 1/ 12/ Bearded_Pig.JPG/ 250px_Bearded_Pig.JPG")	pictureList-ImageNet.kif 85-85
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ a/ a4/ 670px_Cow_on_Delhi_street.jpg/ 180px-670px_Cow_on_Delhi_street.jpg")	pictureList-ImageNet.kif 86-86
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 3/ 38/ Panzernashorn2004.jpg/ 350px_Panzernashorn2004.jpg")	pictureList-ImageNet.kif 87-87
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 1b/ Indian_rhinoceros.png/ 300px_Indian_rhinoceros.png")	pictureList-ImageNet.kif 88-88
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 2/ 26/ Red_Kangaroo-5legs.jpg/ 310px_Red_Kangaroo-5legs.jpg")	pictureList-ImageNet.kif 89-89
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 2/ 24/ Tapirbaby.jpg/ 250px_Tapirbaby.jpg")	pictureList-ImageNet.kif 90-90
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f1/ Rupicapra_rupicapra_0.jpg/ 230px_Rupicapra_rupicapra_0.jpg")	pictureList-ImageNet.kif 91-91
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ e/ ed/ Gabelbock_fws_1.jpg/ 270px_Gabelbock_fws_1.jpg")	pictureList-ImageNet.kif 92-92
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ fc/ Masai_Giraffe_right_rear_foot.jpg/ 200px_Masai_Giraffe_right_rear_foot.jpg")	pictureList-ImageNet.kif 93-93
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 8/ 8d/ American_bison_k5680-1.jpg/ 250px_American_bison_k5680-1.jpg")	pictureList-ImageNet.kif 94-94
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ b4/ 00296_zebra.jpg/ 240px-00296_zebra.jpg")	pictureList-ImageNet.kif 95-95
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 48/ Equus_grevyi_(aka).jpg/ 350px_Equus_grevyi_(aka).jpg")	pictureList-ImageNet.kif 96-96
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/de/thumb/ 7/ 74/ Weisswedelhirsch.jpg/ 200px_Weisswedelhirsch.jpg")	pictureList-ImageNet.kif 97-97
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 0/ 0c/ Tapirus_terrestris.jpg/ 80px_Tapirus_terrestris.jpg")	pictureList-ImageNet.kif 98-98
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 9/ 98/ Horse_and_pony.jpg/ 180px_Horse_and_pony.jpg")	pictureList-ImageNet.kif 99-99

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 2

(subclass Antelope HoofedMammal)	Mid-level-ontology.kif 22319-22319
(subclass Buffalo HoofedMammal)	Mid-level-ontology.kif 22323-22323
(subclass Deer HoofedMammal)	Mid-level-ontology.kif 22389-22389
(subclass Horse HoofedMammal)	Mid-level-ontology.kif 22393-22393
(subclass Pig HoofedMammal)	Mid-level-ontology.kif 22397-22397
(subclass Donkey HoofedMammal)	Mid-level-ontology.kif 22400-22400
(subclass Mule HoofedMammal)	Mid-level-ontology.kif 22408-22408
(subclass Sheep HoofedMammal)	Mid-level-ontology.kif 22427-22427
(subclass Cattle HoofedMammal)	Mid-level-ontology.kif 22441-22441
(subclass Reindeer HoofedMammal)	Mid-level-ontology.kif 33183-33183
(subclass Goat HoofedMammal)	Economy.kif 5254-5254
(subclass WaterBuffalo HoofedMammal)	Economy.kif 5256-5256
(biologicalAgentCarrier BacillusAnthracis HoofedMammal)	WMD.kif 279-279
(termFormat EnglishLanguage HoofedMammal "hoofed mammal")	english_format.kif 1195-1195

appearance as argument number 3

(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate)

Merge.kif 14893-14893

consequent

(=> (instance ?H Hoof) (exists (?F ?A) (and (instance ?F Foot) (instance ?A HoofedMammal) (part ?H ?F) (part ?F ?A))))	Mid-level-ontology.kif 12961-12968
(=> (instance ?H Horn) (exists (?M) (and (instance ?M HoofedMammal) (part ?H ?M))))	Mid-level-ontology.kif 13014-13019

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners