| 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 4350-4351 | |
| (subclass HorseRiding AnimalGuiding) | Mid-level-ontology.kif 4349-4349 | Horse riding is a subclass of animal guiding |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage HorseRiding "骑马") | domainEnglishFormat.kif 28633-28633 | |
| (termFormat ChineseTraditionalLanguage HorseRiding "騎馬") | domainEnglishFormat.kif 28632-28632 | |
| (termFormat EnglishLanguage HorseRiding "horse riding") | domainEnglishFormat.kif 28631-28631 |
| antecedent |
|
|
| (=> (instance ?R HorseRiding) (exists (?H) (and (instance ?H Horse) (instrument ?R ?H)))) |
Mid-level-ontology.kif 4353-4358 |
|
| consequent |
|
|
| (=> (instance ?HORSEBACK Equitation) (exists (?M) (and (instance ?M HorseRiding) (subProcess ?M ?HORSEBACK)))) |
Sports.kif 1187-1192 |
|
|
|
|