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