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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - HoofedMammal
HoofedMammal(有蹄哺乳動物)
more pictures...

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 biologicalAgentCarrier BacillusAnthracis and 有蹄哺乳動物
(subclass Antelope HoofedMammal) Mid-level-ontology.kif 21691-21691 Antelope は 有蹄哺乳動物 の subclass では
(subclass Buffalo HoofedMammal) Mid-level-ontology.kif 21695-21695 Buffalo は 有蹄哺乳動物 の subclass では
(subclass Cattle HoofedMammal) Mid-level-ontology.kif 21809-21809 Cattle は 有蹄哺乳動物 の subclass では
(subclass Deer HoofedMammal) Economy.kif 5251-5251 Deer は 有蹄哺乳動物 の subclass では
(subclass Donkey HoofedMammal) Mid-level-ontology.kif 21768-21768 Donkey は 有蹄哺乳動物 の subclass では
(subclass Goat HoofedMammal) Economy.kif 5245-5245 Goat は 有蹄哺乳動物 の subclass では
(subclass Horse HoofedMammal) Mid-level-ontology.kif 21761-21761 Horse は 有蹄哺乳動物 の subclass では
(subclass Mule HoofedMammal) Mid-level-ontology.kif 21776-21776 Mule は 有蹄哺乳動物 の subclass では
(subclass Pig HoofedMammal) Mid-level-ontology.kif 21765-21765 Pig は 有蹄哺乳動物 の subclass では
(subclass Reindeer HoofedMammal) Economy.kif 5249-5249 Reindeer は 有蹄哺乳動物 の subclass では
(subclass Sheep HoofedMammal) Mid-level-ontology.kif 21795-21795 Sheep は 有蹄哺乳動物 の subclass では
(subclass WaterBuffalo HoofedMammal) Economy.kif 5247-5247 WaterBuffalo は 有蹄哺乳動物 の subclass では
(termFormat ChineseLanguage HoofedMammal "有蹄哺乳动物") chinese_format.kif 992-992 WaterBuffalo は 有蹄哺乳動物 の subclass では
(termFormat EnglishLanguage HoofedMammal "hoofed mammal") english_format.kif 1191-1191 WaterBuffalo は 有蹄哺乳動物 の subclass では
(termFormat FrenchLanguage HoofedMammal "ongul�") french_format.kif 669-669 WaterBuffalo は 有蹄哺乳動物 の subclass では
(termFormat Hindi HoofedMammal "khuradhaarI stanapAAyI") terms-hindi.txt 200-200 WaterBuffalo は 有蹄哺乳動物 の subclass では
(termFormat ItalianLanguage HoofedMammal "MammiferoUngulato") terms-it.txt 203-203 WaterBuffalo は 有蹄哺乳動物 の subclass では
(termFormat JapaneseLanguage HoofedMammal "有蹄哺乳動物") japanese_format.kif 2353-2353 WaterBuffalo は 有蹄哺乳動物 の subclass では
(termFormat PortugueseLanguage HoofedMammal "Ungulado") portuguese_format.kif 621-621 WaterBuffalo は 有蹄哺乳動物 の subclass では
(termFormat cz HoofedMammal "hoofed mammal") terms-cz.txt 237-237 WaterBuffalo は 有蹄哺乳動物 の subclass では
(termFormat de HoofedMammal "Hufsaeugetier") terms-de.txt 496-496 WaterBuffalo は 有蹄哺乳動物 の subclass では
(termFormat ro HoofedMammal "mamifer copitat") relations-ro.kif 690-690 WaterBuffalo は 有蹄哺乳動物 の subclass では
(termFormat tg HoofedMammal "hayop na may kukong paa") terms-tg.txt 204-204 WaterBuffalo は 有蹄哺乳動物 の subclass では

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 哺乳動物 は 水生哺乳類［動物］, 有蹄哺乳動物, 有袋動物, 齧歯動物, + 霊長類 に disjointly decomposed

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


(=>
    (instance ?H Hoof)
    (exists (?F ?A)
        (and
            (instance ?F Foot)
            (instance ?A HoofedMammal)
            (part ?H ?F)
            (part ?F ?A))))		 Mid-level-ontology.kif 12792-12799
(=>
    (instance ?H Horn)
    (exists (?M)
        (and
            (instance ?M HoofedMammal)
            (part ?H ?M))))		 Mid-level-ontology.kif 12845-12850


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