| HorseRiding(horse riding) | | horseback_riding, override, post, prance, ride_horseback, riding, trot |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4357-4358 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4356-4356 | Horse riding is a subclass of animal guiding |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28599-28599 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28598-28598 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28597-28597 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4360-4365 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1186-1191 |
|
|
|
|