|
|
   HorseRiding
|
|
|
| appearance as argument number 1 |
|
|
| (documentation HorseRiding EnglishLanguage "Any instance of Carrying where the Animal is a Horse.") | Mid-level-ontology.kif 4357-4358 | |
| (subclass HorseRiding AnimalGuiding) | Mid-level-ontology.kif 4356-4356 | Horse riding is a subclass of animal guiding |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage HorseRiding "骑马") | domainEnglishFormat.kif 28599-28599 | |
| (termFormat ChineseTraditionalLanguage HorseRiding "騎馬") | domainEnglishFormat.kif 28598-28598 | |
| (termFormat EnglishLanguage HorseRiding "horse riding") | domainEnglishFormat.kif 28597-28597 |
| antecedent |
|
|
| (=> (instance ?R HorseRiding) (exists (?H) (and (instance ?H Horse) (instrument ?R ?H)))) |
Mid-level-ontology.kif 4360-4365 |
|
| consequent |
|
|
| (=> (instance ?HORSEBACK Equitation) (exists (?M) (and (instance ?M HorseRiding) (subProcess ?M ?HORSEBACK)))) |
Sports.kif 1186-1191 |
|
|
|
|