| AnimalGuiding(animal guiding) | | ride, ride_herd, sit |
| appearance as argument number 1 |
|
|
| (documentation AnimalGuiding EnglishLanguage "A Carrying where the instrument of the Carrying is an Animal and that objectTransferred in the Carrying is the AutonomousAgent of the Guiding.") | Mid-level-ontology.kif 4311-4313 | |
| (subclass AnimalGuiding Guiding) | Mid-level-ontology.kif 4315-4315 | Animal guiding is a subclass of guiding |
| appearance as argument number 2 |
|
|
| (subclass HorseRiding AnimalGuiding) | Mid-level-ontology.kif 4328-4328 | Horse riding is a subclass of animal guiding |
| (termFormat EnglishLanguage AnimalGuiding "animal guiding") | domainEnglishFormat.kif 64458-64458 |
| antecedent |
|
|
| (=> (instance ?AG AnimalGuiding) (exists (?A ?C ?H) (and (instance ?A Animal) (agent ?AG ?H) (instance ?C Carrying) (agent ?C ?A) (objectTransferred ?C ?H) (instrument ?AG ?A)))) |
Mid-level-ontology.kif 4317-4326 |
|
|
|
|