AnimalGuiding
|
|
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 4339-4341 | |
(subclass AnimalGuiding Guiding) | Mid-level-ontology.kif 4343-4343 |
appearance as argument number 2 |
(subclass HorseRiding AnimalGuiding) | Mid-level-ontology.kif 4356-4356 | |
(termFormat EnglishLanguage AnimalGuiding "animal guiding") | domainEnglishFormat.kif 64446-64446 |
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 4345-4354 |