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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HoofedMammal
HoofedMammal(ongul�)
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 14637-14638
(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 ongul�
(subclass Antelope HoofedMammal) Mid-level-ontology.kif 20101-20101 Antelope est une sous-classe de ongul�
(subclass Buffalo HoofedMammal) Mid-level-ontology.kif 20105-20105 Buffalo est une sous-classe de ongul�
(subclass Cattle HoofedMammal) Mid-level-ontology.kif 20219-20219 Cattle est une sous-classe de ongul�
(subclass Deer HoofedMammal) Economy.kif 4911-4911 Deer est une sous-classe de ongul�
(subclass Donkey HoofedMammal) Mid-level-ontology.kif 20178-20178 Donkey est une sous-classe de ongul�
(subclass Goat HoofedMammal) Economy.kif 4905-4905 Goat est une sous-classe de ongul�
(subclass Horse HoofedMammal) Mid-level-ontology.kif 20171-20171 Horse est une sous-classe de ongul�
(subclass Mule HoofedMammal) Mid-level-ontology.kif 20186-20186 Mule est une sous-classe de ongul�
(subclass Pig HoofedMammal) Mid-level-ontology.kif 20175-20175 Pig est une sous-classe de ongul�
(subclass Reindeer HoofedMammal) Economy.kif 4909-4909 Reindeer est une sous-classe de ongul�
(subclass Sheep HoofedMammal) Mid-level-ontology.kif 20205-20205 Sheep est une sous-classe de ongul�
(subclass WaterBuffalo HoofedMammal) Economy.kif 4907-4907 WaterBuffalo est une sous-classe de ongul�
(termFormat ChineseLanguage HoofedMammal "有蹄哺乳动物") chinese_format.kif 992-992
(termFormat EnglishLanguage HoofedMammal "hoofed mammal") english_format.kif 1191-1191
(termFormat FrenchLanguage HoofedMammal "ongul�") french_format.kif 669-669
(termFormat Hindi HoofedMammal "khuradhaarI stanapAAyI") terms-hindi.txt 200-200
(termFormat ItalianLanguage HoofedMammal "MammiferoUngulato") terms-it.txt 203-203
(termFormat JapaneseLanguage HoofedMammal "有蹄哺乳動物") japanese_format.kif 2353-2353
(termFormat PortugueseLanguage HoofedMammal "Ungulado") portuguese_format.kif 621-621
(termFormat cz HoofedMammal "hoofed mammal") terms-cz.txt 237-237
(termFormat ro HoofedMammal "mamifer copitat") relations-ro.kif 690-690
(termFormat tg HoofedMammal "hayop na may kukong paa") terms-tg.txt 204-204

appearance as argument number 3
-------------------------


(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) Merge.kif 14627-14627 Mammif�re est disjointement decompos� en mammif�re aquatique, ongul�, marsupial, rongeur, + 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 11488-11495
(=>
    (instance ?H Horn)
    (exists (?M)
        (and
            (instance ?M HoofedMammal)
            (part ?H ?M))))
Mid-level-ontology.kif 11541-11546


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