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 14729-14730
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ 4/ 46/ Donkey.jpg")	pictureList-ImageNet.kif 102-102
(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/ 1/ 1b/ Indian_rhinoceros.png/ 300px_Indian_rhinoceros.png")	pictureList-ImageNet.kif 88-88
(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/ 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/ 3/ 38/ Panzernashorn2004.jpg/ 350px_Panzernashorn2004.jpg")	pictureList-ImageNet.kif 87-87
(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/ 4/ 48/ Equus_grevyi_(aka).jpg/ 350px_Equus_grevyi_(aka).jpg")	pictureList-ImageNet.kif 96-96
(externalImage HoofedMammal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 6/ 60/ Arcosu20.jpg/ 230px_Arcosu20.jpg")	pictureList-ImageNet.kif 105-105
(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/ 7/ 79/ Oryx_Gazella_Namibia(1).JPG/ 250px_Oryx_Gazella_Namibia(1).JPG")	pictureList-ImageNet.kif 101-101
(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/ 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/ 9/ 98/ Horse_and_pony.jpg/ 180px_Horse_and_pony.jpg")	pictureList-ImageNet.kif 99-99
(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/ b/ b4/ 00296_zebra.jpg/ 240px-00296_zebra.jpg")	pictureList-ImageNet.kif 95-95
(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/ 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/commons/ thumb/ e/ e7/ Ovis_orientalis_aries_'Skudde'_(aka).jpg/ 250px_Ovis_orientalis_aries_'Skudde'_(aka).jpg")	pictureList-ImageNet.kif 100-100
(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/ 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/ f1/ Rupicapra_rupicapra_0.jpg/ 230px_Rupicapra_rupicapra_0.jpg")	pictureList-ImageNet.kif 91-91

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	Hoofed mammal is a biological agent carrier of bacillus anthracis
(subclass Antelope HoofedMammal)	Mid-level-ontology.kif 21708-21708	Antelope is a subclass of hoofed mammal
(subclass Buffalo HoofedMammal)	Mid-level-ontology.kif 21712-21712	Buffalo is a subclass of hoofed mammal
(subclass Cattle HoofedMammal)	Mid-level-ontology.kif 21826-21826	Cattle is a subclass of hoofed mammal
(subclass Deer HoofedMammal)	Economy.kif 5251-5251	Deer is a subclass of hoofed mammal
(subclass Donkey HoofedMammal)	Mid-level-ontology.kif 21785-21785	Donkey is a subclass of hoofed mammal
(subclass Goat HoofedMammal)	Economy.kif 5245-5245	Goat is a subclass of hoofed mammal
(subclass Horse HoofedMammal)	Mid-level-ontology.kif 21778-21778	Horse is a subclass of hoofed mammal
(subclass Mule HoofedMammal)	Mid-level-ontology.kif 21793-21793	Mule is a subclass of hoofed mammal
(subclass Pig HoofedMammal)	Mid-level-ontology.kif 21782-21782	Pig is a subclass of hoofed mammal
(subclass Reindeer HoofedMammal)	Economy.kif 5249-5249	Reindeer is a subclass of hoofed mammal
(subclass Sheep HoofedMammal)	Mid-level-ontology.kif 21812-21812	Sheep is a subclass of hoofed mammal
(subclass WaterBuffalo HoofedMammal)	Economy.kif 5247-5247	Water buffalo is a subclass of hoofed mammal
(termFormat ChineseLanguage HoofedMammal "有蹄哺乳动物")	chinese_format.kif 992-992	Water buffalo is a subclass of hoofed mammal
(termFormat EnglishLanguage HoofedMammal "hoofed mammal")	english_format.kif 1191-1191	Water buffalo is a subclass of hoofed mammal
(termFormat FrenchLanguage HoofedMammal "ongul�")	french_format.kif 669-669	Water buffalo is a subclass of hoofed mammal
(termFormat Hindi HoofedMammal "khuradhaarI stanapAAyI")	terms-hindi.txt 200-200	Water buffalo is a subclass of hoofed mammal
(termFormat ItalianLanguage HoofedMammal "MammiferoUngulato")	terms-it.txt 203-203	Water buffalo is a subclass of hoofed mammal
(termFormat JapaneseLanguage HoofedMammal "有蹄哺乳動物")	japanese_format.kif 2353-2353	Water buffalo is a subclass of hoofed mammal
(termFormat PortugueseLanguage HoofedMammal "Ungulado")	portuguese_format.kif 621-621	Water buffalo is a subclass of hoofed mammal
(termFormat cz HoofedMammal "hoofed mammal")	terms-cz.txt 237-237	Water buffalo is a subclass of hoofed mammal
(termFormat de HoofedMammal "Hufsaeugetier")	terms-de.txt 496-496	Water buffalo is a subclass of hoofed mammal
(termFormat ro HoofedMammal "mamifer copitat")	relations-ro.kif 690-690	Water buffalo is a subclass of hoofed mammal
(termFormat tg HoofedMammal "hayop na may kukong paa")	terms-tg.txt 204-204	Water buffalo is a subclass of hoofed mammal

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate)

Merge.kif 14719-14719

Mammal is disjointly decomposed into aquatic mammal, hoofed mammal, 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 12810-12817	If an object is an instance of hoof, then there exist another object and a third object such that the other object is an instance of foot and the third object is an instance of hoofed mammal and the object is a part of the other object and the other object is a part of the third object
(=> (instance ?H Horn) (exists (?M) (and (instance ?M HoofedMammal) (part ?H ?M))))	Mid-level-ontology.kif 12863-12868	If an object is an instance of horn, then there exists another object such that the other object is an instance of hoofed mammal and the object is a part of the other 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: