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 17888-17889
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/5/54/ Andalusier_-_Vorf%C3%BChrung_spanischer_Rassen3_best.jpg") pictureList.kif 114-114
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/f/fd/ Mangalarga_Marchador.jpg") pictureList-ImageNet.kif 124-124
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0b/ Gallop_animated.gif/ 280px-Gallop_animated.gif") pictureList-ImageNet.kif 121-121
(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
(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
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 25/ Aegidienberger.jpg/ 120px-Aegidienberger.jpg") pictureList-ImageNet.kif 107-107
(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
(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
(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
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 55/ Oldenburger-1-.jpg/ 120px-Oldenburger-1-.jpg") pictureList-ImageNet.kif 119-119
(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
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 64/ Frisian_horse.jpg/ 350px-Frisian_horse.jpg") pictureList-ImageNet.kif 113-113
(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
(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
(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
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ ac/ Przewalskipferd_cologne.jpg/ 180px-Przewalskipferd_cologne.jpg") pictureList-ImageNet.kif 116-116
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ bc/ SackOTatersPony.jpg/ 117px-SackOTatersPony.jpg") pictureList-ImageNet.kif 108-108
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c5/ Tinker_Stute.JPG/ 300px-Tinker_Stute.JPG") pictureList-ImageNet.kif 111-111
(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
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ eb/ Horse_profile.jpg/ 250px-Horse_profile.jpg") pictureList-ImageNet.kif 114-114
(externalImage Horse "http://www.adampease.org/Articulate/SUMOpictures/pictures/ transportation/ Signs/ horse.png") pictureList.kif 504-504
(subclass Horse HoofedMammal) Mid-level-ontology.kif 17886-17886 Horse is a subclass of hoofed mammal

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


(termFormat ChineseLanguage Horse "马") domainEnglishFormat.kif 28483-28483
(termFormat ChineseTraditionalLanguage Horse "馬") domainEnglishFormat.kif 28482-28482
(termFormat EnglishLanguage Horse "horse") domainEnglishFormat.kif 28481-28481

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


(=>
    (instance ?MULE Mule)
    (exists (?DONKEY ?HORSE)
        (and
            (father ?MULE ?DONKEY)
            (instance ?DONKEY Donkey)
            (mother ?MULE ?HORSE)
            (instance ?HORSE Horse))))
Mid-level-ontology.kif 17909-17916
(=>
    (instance ?R HorseRiding)
    (exists (?H)
        (and
            (instance ?H Horse)
            (instrument ?R ?H))))
Mid-level-ontology.kif 4828-4833
(=>
    (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 4795-4805


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