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 | 子類 騎馬 and 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 4360-4365 |
consequent |
(=> (instance ?HORSEBACK Equitation) (exists (?M) (and (instance ?M HorseRiding) (subProcess ?M ?HORSEBACK)))) |
Sports.kif 1187-1192 |