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 20145-20146
(externalImage Horse "http://articulatesoftware.com/SUMOpictures/transportation/ Signs/ horse.png") pictureList.kif 504-504
(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 123-123
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0b/ Gallop_animated.gif/ 280px-Gallop_animated.gif") pictureList-ImageNet.kif 120-120
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1f/ Equus_caballus_przewalskii_.JPG/ 300px-Equus_caballus_przewalskii_.JPG") pictureList-ImageNet.kif 109-109
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 22/ Horse_in_field.jpg/ 250px-Horse_in_field.jpg") pictureList-ImageNet.kif 117-117
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 25/ Aegidienberger.jpg/ 120px-Aegidienberger.jpg") pictureList-ImageNet.kif 106-106
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 29/ Horses_in_grass.jpg/ 150px-Horses_in_grass.jpg") pictureList-ImageNet.kif 119-119
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 2e/ Julgamento_Árabe_REFON_.jpg/ 120px-Julgamento_Árabe_REFON_.jpg") pictureList-ImageNet.kif 121-121
(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 122-122
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 55/ Oldenburger-1-.jpg/ 120px-Oldenburger-1-.jpg") pictureList-ImageNet.kif 118-118
(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 108-108
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 64/ Frisian_horse.jpg/ 350px-Frisian_horse.jpg") pictureList-ImageNet.kif 112-112
(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 114-114
(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 111-111
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a4/ Shetland_pony_dalmatian2.jpg/ 180px-Shetland_pony_dalmatian2.jpg") pictureList-ImageNet.kif 124-124
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ ac/ Przewalskipferd_cologne.jpg/ 180px-Przewalskipferd_cologne.jpg") pictureList-ImageNet.kif 115-115
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ bc/ SackOTatersPony.jpg/ 117px-SackOTatersPony.jpg") pictureList-ImageNet.kif 107-107
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c5/ Tinker_Stute.JPG/ 300px-Tinker_Stute.JPG") pictureList-ImageNet.kif 110-110
(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 116-116
(externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ eb/ Horse_profile.jpg/ 250px-Horse_profile.jpg") pictureList-ImageNet.kif 113-113
(subclass Horse HoofedMammal) Mid-level-ontology.kif 20144-20144 Horse est une sous-classe de ongul�

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


(termFormat ChineseLanguage Horse "马") domainEnglishFormat.kif 28581-28581
(termFormat ChineseTraditionalLanguage Horse "馬") domainEnglishFormat.kif 28580-28580
(termFormat EnglishLanguage Horse "horse") domainEnglishFormat.kif 28579-28579

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


(=>
    (instance ?MULE Mule)
    (exists (?DONKEY ?HORSE)
        (and
            (father ?MULE ?DONKEY)
            (instance ?DONKEY Donkey)
            (mother ?MULE ?HORSE)
            (instance ?HORSE Horse))))
Mid-level-ontology.kif 20164-20171
(=>
    (instance ?R HorseRiding)
    (exists (?H)
        (and
            (instance ?H Horse)
            (instrument ?R ?H))))
Mid-level-ontology.kif 4360-4365
(=>
    (instance ?SADDLE Saddle)
    (exists (?RIDE)
        (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 4326-4337


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