TreeView Knowledge Base Browser

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))))

If X is an instance of animal guiding, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of animal (3) W is an agent of X (4) Z is an instance of carrying (5) Y is an agent of Z (6) the object transferred in Z is W (7) Y is an instrument for X

(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 4948-4950
(subclass AnimalGuiding Guiding)	Mid-level-ontology.kif 4952-4952	Animal guiding is a subclass of guiding

(subclass HorseRiding AnimalGuiding)	Mid-level-ontology.kif 4965-4965	Horse riding is a subclass of animal guiding
(termFormat EnglishLanguage AnimalGuiding "animal guiding")	domainEnglishFormat.kif 64449-64449	Horse riding is a subclass of animal guiding