more pictures...
| appearance as argument number 1 |
|
|
| (documentation Horse EnglishLanguage "A domesticated HoofedMammal that is used for transportation and work.") | Mid-level-ontology.kif 21234-21235 | |
| (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 21233-21233 | Horse is a subclass of hoofed mammal |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Horse "马") | domainEnglishFormat.kif 28609-28609 | |
| (termFormat ChineseTraditionalLanguage Horse "馬") | domainEnglishFormat.kif 28608-28608 | |
| (termFormat EnglishLanguage Horse "horse") | domainEnglishFormat.kif 28607-28607 |
| consequent |
|
|
| (=> (instance ?MULE Mule) (exists (?DONKEY ?HORSE) (and (father ?MULE ?DONKEY) (instance ?DONKEY Donkey) (mother ?MULE ?HORSE) (instance ?HORSE Horse)))) |
Mid-level-ontology.kif 21253-21260 |
|
| (=> (instance ?R HorseRiding) (exists (?H) (and (instance ?H Horse) (instrument ?R ?H)))) |
Mid-level-ontology.kif 4426-4431 |
|
| (=> (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 4392-4403 |
|
|
|
|