HoofedMammal - Sigma Knowledge base Browser

appearance as argument number 1

(documentation HoofedMammal ChineseLanguage "这是四足有蹄的 Mammal Class，这包括马、牛、猪和羚羊等等。")	chinese_format.kif 3423-3424
(documentation HoofedMammal EnglishLanguage "The Class of quadruped Mammals with hooves. Includes horses, cows, sheep, pigs, antelope, etc.")	Merge.kif 13520-13521
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ 4/ 46/ Donkey.jpg")	pictureList-ImageNet.kif 103-103
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 0/ 0c/ Tapirus_terrestris.jpg/ 80px-Tapirus_terrestris.jpg")	pictureList-ImageNet.kif 99-99
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 1b/ Indian_rhinoceros.png/ 300px-Indian_rhinoceros.png")	pictureList-ImageNet.kif 89-89
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 2/ 24/ Tapirbaby.jpg/ 250px-Tapirbaby.jpg")	pictureList-ImageNet.kif 91-91
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 2/ 26/ Red-Kangaroo-5legs.jpg/ 310px-Red-Kangaroo-5legs.jpg")	pictureList-ImageNet.kif 90-90
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 3/ 38/ Panzernashorn2004.jpg/ 350px-Panzernashorn2004.jpg")	pictureList-ImageNet.kif 88-88
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 42/ Tapirus_indicus.jpg/ 250px-Tapirus_indicus.jpg")	pictureList-ImageNet.kif 78-78
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 48/ Equus_grevyi_(aka).jpg/ 350px-Equus_grevyi_(aka).jpg")	pictureList-ImageNet.kif 97-97
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 6/ 60/ Arcosu20.jpg/ 230px-Arcosu20.jpg")	pictureList-ImageNet.kif 106-106
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 6/ 6d/ Pronghorn_antelope.jpg/ 250px-Pronghorn_antelope.jpg")	pictureList-ImageNet.kif 80-80
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 7/ 79/ Oryx_Gazella_Namibia(1).JPG/ 250px-Oryx_Gazella_Namibia(1).JPG")	pictureList-ImageNet.kif 102-102
(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 79-79
(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 95-95
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 9/ 98/ Horse-and-pony.jpg/ 180px-Horse-and-pony.jpg")	pictureList-ImageNet.kif 100-100
(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 87-87
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ b4/ 00296_zebra.jpg/ 240px-00296_zebra.jpg")	pictureList-ImageNet.kif 96-96
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ b4/ Oreamnos_americanus_0.jpg/ 250px-Oreamnos_americanus_0.jpg")	pictureList-ImageNet.kif 84-84
(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 81-81
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ e/ e7/ Ovis_orientalis_aries_'Skudde'_(aka).jpg/ 250px-Ovis_orientalis_aries_'Skudde'_(aka).jpg")	pictureList-ImageNet.kif 101-101
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ e/ e9/ Orycteropus_afer01.jpg/ 200px-Orycteropus_afer01.jpg")	pictureList-ImageNet.kif 83-83
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ e/ ed/ Gabelbock_fws_1.jpg/ 270px-Gabelbock_fws_1.jpg")	pictureList-ImageNet.kif 93-93
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f1/ Rupicapra_rupicapra_0.jpg/ 230px-Rupicapra_rupicapra_0.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 94-94

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 2

(biologicalAgentCarrier BacillusAnthracis HoofedMammal)	WMD.kif 285-285	biologicalAgentCarrier BacillusAnthracis and HoofedMammal
(subclass Antelope HoofedMammal)	Mid-level-ontology.kif 17815-17815	subclass Antelope and HoofedMammal
(subclass Buffalo HoofedMammal)	Mid-level-ontology.kif 17819-17819	subclass Buffalo and HoofedMammal
(subclass Cattle HoofedMammal)	Economy.kif 4224-4224	subclass Cattle and HoofedMammal
(subclass Cow HoofedMammal)	Mid-level-ontology.kif 17937-17937	subclass Cow and HoofedMammal
(subclass Deer HoofedMammal)	Economy.kif 4234-4234	subclass Deer and HoofedMammal
(subclass Donkey HoofedMammal)	Mid-level-ontology.kif 17895-17895	subclass Donkey and HoofedMammal
(subclass Goat HoofedMammal)	Economy.kif 4228-4228	subclass Goat and HoofedMammal
(subclass Horse HoofedMammal)	Mid-level-ontology.kif 17886-17886	subclass Horse and HoofedMammal
(subclass Mule HoofedMammal)	Mid-level-ontology.kif 17904-17904	subclass Mule and HoofedMammal
(subclass Pig HoofedMammal)	Mid-level-ontology.kif 17891-17891	subclass Pig and HoofedMammal
(subclass Reindeer HoofedMammal)	Economy.kif 4232-4232	subclass Reindeer and HoofedMammal
(subclass Sheep HoofedMammal)	Mid-level-ontology.kif 17923-17923	subclass Sheep and HoofedMammal
(subclass WaterBuffalo HoofedMammal)	Economy.kif 4230-4230	subclass WaterBuffalo and HoofedMammal
(termFormat ChineseLanguage HoofedMammal "有蹄哺乳动物")	chinese_format.kif 992-992
(termFormat EnglishLanguage HoofedMammal "hoofed mammal")	english_format.kif 1196-1196

appearance as argument number 3

(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate)

Merge.kif 13510-13510

disjointDecomposition Mammal, AquaticMammal, HoofedMammal, Marsupial, Rodent and Primate

consequent

(=> (instance ?H Hoof) (exists (?F ?A) (and (instance ?F Foot) (instance ?A HoofedMammal) (part ?H ?F) (part ?F ?A))))	Mid-level-ontology.kif 9704-9711	instance Object and Hoof Object Object instance Object and Foot instance Object and HoofedMammal part Object and Object part Object and Object
(=> (instance ?H Horn) (exists (?M) (and (instance ?M HoofedMammal) (part ?H ?M))))	Mid-level-ontology.kif 9738-9743	instance Object and Horn Object instance Object and HoofedMammal part Object and Object

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: