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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Horse
Horse(horse)
more pictures...
Affirmed, American_saddle_horse, Appaloosa, Arab, Arabian, Assault, Citation, Clydesdale, Count_Fleet, Equus_caballus, Equus_caballus_gomelini, Equus_caballus_przevalskii, Equus_caballus_przewalskii, Exmoor, Gallant_Fox, Hyracotherium, Indian_pony, Lipizzan, Lippizan, Lippizaner, Morgan, Omaha, Percheron, Plantation_walking_horse, Przevalski's_horse, Przewalski's_horse, Seattle_Slew, Secretariat, Shetland_pony, Sir_Barton, Tennessee_walker, Tennessee_walking_horse, Walking_horse, War_Admiral, Welsh_pony, Whirlaway, bangtail, bay, bronc, broncho, bronco, bucking_bronco, buckskin, cart_horse, carthorse, cavalry_horse, cayuse, charger, chestnut, coach_horse...

appearance as argument number 1
-------------------------


(documentation Horse EnglishLanguage "A domesticated HoofedMammal that is used for transportation and work.") Mid-level-ontology.kif 17886-17887
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/5/54/ Andalusier_-_Vorf%C3%BChrung_spanischer_Rassen3_best.jpg") pictureList.kif 114-114 "http://upload.wikimedia.org/wikipedia/commons/5/54/ Andalusier_-_Vorf%C3%BChrung_spanischer_Rassen3_best.jpg" is a URL depicting horse
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/f/fd/ Mangalarga_Marchador.jpg") pictureList-ImageNet.kif 124-124 "http://upload.wikimedia.org/wikipedia/commons/f/fd/ Mangalarga_Marchador.jpg" is a URL depicting horse
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0b/ Gallop_animated.gif/ 280px-Gallop_animated.gif") pictureList-ImageNet.kif 121-121 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0b/ Gallop_animated.gif/ 280px-Gallop_animated.gif" is a URL depicting horse
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1f/ Equus_caballus_przewalskii_.JPG/ 300px-Equus_caballus_przewalskii_.JPG") pictureList-ImageNet.kif 110-110 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1f/ Equus_caballus_przewalskii_.JPG/ 300px-Equus_caballus_przewalskii_.JPG" is a URL depicting horse
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 22/ Horse_in_field.jpg/ 250px-Horse_in_field.jpg") pictureList-ImageNet.kif 118-118 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 22/ Horse_in_field.jpg/ 250px-Horse_in_field.jpg" is a URL depicting horse
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 25/ Aegidienberger.jpg/ 120px-Aegidienberger.jpg") pictureList-ImageNet.kif 107-107 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 25/ Aegidienberger.jpg/ 120px-Aegidienberger.jpg" is a URL depicting horse
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 29/ Horses_in_grass.jpg/ 150px-Horses_in_grass.jpg") pictureList-ImageNet.kif 120-120 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 29/ Horses_in_grass.jpg/ 150px-Horses_in_grass.jpg" is a URL depicting horse
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 2e/ Julgamento_Árabe_REFON_.jpg/ 120px-Julgamento_Árabe_REFON_.jpg") pictureList-ImageNet.kif 122-122 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 2e/ Julgamento_Árabe_REFON_.jpg/ 120px-Julgamento_Árabe_REFON_.jpg" is a URL depicting horse
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 41/ Hannoveraner_Dressur_Goethe_3_bestes.jpg/ 300px-Hannoveraner_Dressur_Goethe_3_bestes.jpg") pictureList-ImageNet.kif 123-123 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 41/ Hannoveraner_Dressur_Goethe_3_bestes.jpg/ 300px-Hannoveraner_Dressur_Goethe_3_bestes.jpg" is a URL depicting horse
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 55/ Oldenburger-1-.jpg/ 120px-Oldenburger-1-.jpg") pictureList-ImageNet.kif 119-119 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 55/ Oldenburger-1-.jpg/ 120px-Oldenburger-1-.jpg" is a URL depicting horse
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 56/ 04-15-05-paard.jpg/ 260px-04-15-05-paard.jpg") pictureList-ImageNet.kif 109-109 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 56/ 04-15-05-paard.jpg/ 260px-04-15-05-paard.jpg" is a URL depicting horse
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 64/ Frisian_horse.jpg/ 350px-Frisian_horse.jpg") pictureList-ImageNet.kif 113-113 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 64/ Frisian_horse.jpg/ 350px-Frisian_horse.jpg" is a URL depicting horse
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 88/ Horse_hjerl_hede_2004_ubt.jpeg/ 800px-Horse_hjerl_hede_2004_ubt.jpeg") pictureList-ImageNet.kif 115-115 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 88/ Horse_hjerl_hede_2004_ubt.jpeg/ 800px-Horse_hjerl_hede_2004_ubt.jpeg" is a URL depicting horse
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 96/ Rijden%2C_harry_069.jpg/ 275px-Rijden%2C_harry_069.jpg") pictureList-ImageNet.kif 112-112 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 96/ Rijden%2C_harry_069.jpg/ 275px-Rijden%2C_harry_069.jpg" is a URL depicting horse
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a4/ Shetland_pony_dalmatian2.jpg/ 180px-Shetland_pony_dalmatian2.jpg") pictureList-ImageNet.kif 125-125 "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a4/ Shetland_pony_dalmatian2.jpg/ 180px-Shetland_pony_dalmatian2.jpg" is a URL depicting horse
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ ac/ Przewalskipferd_cologne.jpg/ 180px-Przewalskipferd_cologne.jpg") pictureList-ImageNet.kif 116-116 "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ ac/ Przewalskipferd_cologne.jpg/ 180px-Przewalskipferd_cologne.jpg" is a URL depicting horse
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ bc/ SackOTatersPony.jpg/ 117px-SackOTatersPony.jpg") pictureList-ImageNet.kif 108-108 "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ bc/ SackOTatersPony.jpg/ 117px-SackOTatersPony.jpg" is a URL depicting horse
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c5/ Tinker_Stute.JPG/ 300px-Tinker_Stute.JPG") pictureList-ImageNet.kif 111-111 "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c5/ Tinker_Stute.JPG/ 300px-Tinker_Stute.JPG" is a URL depicting horse
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cc/ Equus_przewalskii_Parc_du_Thot_01_2006-07-18.jpg/ 230px-Equus_przewalskii_Parc_du_Thot_01_2006-07-18.jpg") pictureList-ImageNet.kif 117-117 "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cc/ Equus_przewalskii_Parc_du_Thot_01_2006-07-18.jpg/ 230px-Equus_przewalskii_Parc_du_Thot_01_2006-07-18.jpg" is a URL depicting horse
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ eb/ Horse_profile.jpg/ 250px-Horse_profile.jpg") pictureList-ImageNet.kif 114-114 "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ eb/ Horse_profile.jpg/ 250px-Horse_profile.jpg" is a URL depicting horse
(externalImage Horse "http://www.adampease.org/Articulate/SUMOpictures/pictures/ transportation/ Signs/ horse.png") pictureList.kif 504-504 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ transportation/ Signs/ horse.png" is a URL depicting horse
(subclass Horse HoofedMammal) Mid-level-ontology.kif 17884-17884 Horse is a subclass of hoofed mammal

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Horse "horse") domainEnglishFormat.kif 5181-5181 "horse" is the printable form of horse in english language

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


(=>
    (instance ?MULE Mule)
    (exists (?DONKEY ?HORSE)
        (and
            (father ?MULE ?DONKEY)
            (instance ?DONKEY Donkey)
            (mother ?MULE ?HORSE)
            (instance ?HORSE Horse))))
Mid-level-ontology.kif 17907-17914
(=>
    (instance ?R HorseRiding)
    (exists (?H)
        (and
            (instance ?H Horse)
            (instrument ?R ?H))))
Mid-level-ontology.kif 4833-4838
(=>
    (instance ?SADDLE Saddle)
    (capability
        (KappaFn ?RIDE
            (exists (?HUMAN ?HORSE)
                (and
                    (instance ?RIDE Carrying)
                    (patient ?RIDE ?HUMAN)
                    (instance ?HUMAN Human)
                    (agent ?RIDE ?HORSE)
                    (instance ?HORSE Horse)))) instrument ?SADDLE))
Mid-level-ontology.kif 4800-4810


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