HorseRiding |
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 | HorseRiding e' uma sub-classe de AnimalGuiding |
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 4353-4358 |
|
consequent |
(=> (instance ?HORSEBACK Equitation) (exists (?M) (and (instance ?M HorseRiding) (subProcess ?M ?HORSEBACK)))) |
Sports.kif 1187-1192 |
|