| HorseRiding(horse riding) | | horseback_riding, override, post, prance, ride_horseback, riding, trot |
| appearance as argument number 1 |
|
|
| (documentation HorseRiding EnglishLanguage "Any instance of Carrying where the Animal is a Horse.") | Mid-level-ontology.kif 4423-4424 | |
| (subclass HorseRiding AnimalGuiding) | Mid-level-ontology.kif 4422-4422 | Horse riding is a subclass of animal guiding |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage HorseRiding "骑马") | domainEnglishFormat.kif 28627-28627 | |
| (termFormat ChineseTraditionalLanguage HorseRiding "騎馬") | domainEnglishFormat.kif 28626-28626 | |
| (termFormat EnglishLanguage HorseRiding "horse riding") | domainEnglishFormat.kif 28625-28625 |
| antecedent |
|
|
| (=> (instance ?R HorseRiding) (exists (?H) (and (instance ?H Horse) (instrument ?R ?H)))) |
Mid-level-ontology.kif 4426-4431 |
|
| consequent |
|
|
| (=> (instance ?HORSEBACK Equitation) (exists (?M) (and (instance ?M HorseRiding) (subProcess ?M ?HORSEBACK)))) |
Sports.kif 1188-1193 |
|
|
|
|