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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Horse
Horse
more pictures...

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


(documentation Horse EnglishLanguage "A domesticated HoofedMammal that is used for transportation and work.") Mid-level-ontology.kif 17913-17914
(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 17911-17911

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


(termFormat ChineseLanguage Horse "马") domainEnglishFormat.kif 28504-28504
(termFormat ChineseTraditionalLanguage Horse "馬") domainEnglishFormat.kif 28503-28503
(termFormat EnglishLanguage Horse "horse") domainEnglishFormat.kif 28502-28502

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


(=>
    (instance ?MULE Mule)
    (exists (?DONKEY ?HORSE)
        (and
            (father ?MULE ?DONKEY)
            (instance ?DONKEY Donkey)
            (mother ?MULE ?HORSE)
            (instance ?HORSE Horse))))
Mid-level-ontology.kif 17934-17941
(=>
    (instance ?R HorseRiding)
    (exists (?H)
        (and
            (instance ?H Horse)
            (instrument ?R ?H))))
Mid-level-ontology.kif 4834-4839
(=>
    (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 4801-4811


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