more pictures...
| appearance as argument number 1 |
|
|
| (documentation Horse EnglishLanguage "A domesticated HoofedMammal that is used for transportation and work.") | Mid-level-ontology.kif 20403-20404 | |
| (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 20402-20402 | Horse is a subclass of hoofed mammal |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Horse "马") | domainEnglishFormat.kif 28615-28615 | |
| (termFormat ChineseTraditionalLanguage Horse "馬") | domainEnglishFormat.kif 28614-28614 | |
| (termFormat EnglishLanguage Horse "horse") | domainEnglishFormat.kif 28613-28613 |
| consequent |
|
|
| (=> (instance ?MULE Mule) (exists (?DONKEY ?HORSE) (and (father ?MULE ?DONKEY) (instance ?DONKEY Donkey) (mother ?MULE ?HORSE) (instance ?HORSE Horse)))) |
Mid-level-ontology.kif 20422-20429 |
|
| (=> (instance ?R HorseRiding) (exists (?H) (and (instance ?H Horse) (instrument ?R ?H)))) |
Mid-level-ontology.kif 4353-4358 |
|
| (=> (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 4319-4330 |
|
|
|
|