more pictures...| Horse(horse)
more pictures... |
| appearance as argument number 1 |
|
| (subclass Horse HoofedMammal) | Mid-level-ontology.kif 22449-22449 | Horse is a subclass of hoofed mammal |
| (documentation Horse EnglishLanguage "A domesticated HoofedMammal that is used for transportation and work.") | Mid-level-ontology.kif 22450-22451 | Horse is a subclass of hoofed mammal |
| (externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 25/ Aegidienberger.jpg/ 120px_Aegidienberger.jpg") | pictureList-ImageNet.kif 106-106 | Horse is a subclass of hoofed mammal |
| (externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ bc/ SackOTatersPony.jpg/ 117px_SackOTatersPony.jpg") | pictureList-ImageNet.kif 107-107 | Horse is a subclass of hoofed mammal |
| (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 | Horse is a subclass of hoofed mammal |
| (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 | Horse is a subclass of hoofed mammal |
| (externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c5/ Tinker_Stute.JPG/ 300px_Tinker_Stute.JPG") | pictureList-ImageNet.kif 110-110 | Horse is a subclass of hoofed mammal |
| (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 | Horse is a subclass of hoofed mammal |
| (externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 64/ Frisian_horse.jpg/ 350px_Frisian_horse.jpg") | pictureList-ImageNet.kif 112-112 | Horse is a subclass of hoofed mammal |
| (externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ eb/ Horse_profile.jpg/ 250px_Horse_profile.jpg") | pictureList-ImageNet.kif 113-113 | Horse is a subclass of hoofed mammal |
| (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 | Horse is a subclass of hoofed mammal |
| (externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ ac/ Przewalskipferd_cologne.jpg/ 180px_Przewalskipferd_cologne.jpg") | pictureList-ImageNet.kif 115-115 | Horse is a subclass of hoofed mammal |
| (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 | Horse is a subclass of hoofed mammal |
| (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 | Horse is a subclass of hoofed mammal |
| (externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 55/ Oldenburger-1-.jpg/ 120px_Oldenburger-1-.jpg") | pictureList-ImageNet.kif 118-118 | Horse is a subclass of hoofed mammal |
| (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 | Horse is a subclass of hoofed mammal |
| (externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0b/ Gallop_animated.gif/ 280px_Gallop_animated.gif") | pictureList-ImageNet.kif 120-120 | Horse is a subclass of hoofed mammal |
| (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 | Horse is a subclass of hoofed mammal |
| (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 | Horse is a subclass of hoofed mammal |
| (externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/f/fd/ Mangalarga_Marchador.jpg") | pictureList-ImageNet.kif 123-123 | Horse is a subclass of hoofed mammal |
| (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 | Horse is a subclass of hoofed mammal |
| (externalImage Horse "http://upload.wikimedia.org/wikipedia/commons/5/54/ Andalusier_-_Vorf%C3%BChrung_spanischer_Rassen3_best.jpg") | pictureList.kif 114-114 | Horse is a subclass of hoofed mammal |
| (externalImage Horse "http://articulatesoftware.com/SUMOpictures/transportation/ Signs/ horse.png") | pictureList.kif 504-504 | Horse is a subclass of hoofed mammal |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (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 4786-4797 | If X is an instance of saddle, then there exists Y such that X is capable of doing the class described by Y as a instrument |
| (=> (instance ?R HorseRiding) (exists (?H) (and (instance ?H Horse) (instrument ?R ?H)))) |
Mid-level-ontology.kif 4820-4825 | If X is an instance of horse riding, then there exists Y such that Y is an instance of horse and Y is an instrument for X |
| (=> (instance ?MULE Mule) (exists (?DONKEY ?HORSE) (and (father ?MULE ?DONKEY) (instance ?DONKEY Donkey) (mother ?MULE ?HORSE) (instance ?HORSE Horse)))) |
Mid-level-ontology.kif 22469-22476 | If X is an instance of mule, then there exist Y, Z such that Y is a father of X, Y is an instance of donkey, Z is a mother of X, and Z is an instance of horse |
|
|
|