AnimalController - Sigma Knowledge base Browser

appearance as argument number 1

(subclass AnimalController Device)	Mid-level-ontology.kif 3334-3334	Animal controller is a subclass of device
(documentation AnimalController EnglishLanguage "Any Device which is used to control the movements of an Animal or Human, e.g. leashes, reins, harnesses, muzzles, bridles, shackles, handcuffs, etc.")	Mid-level-ontology.kif 3335-3337	Animal controller is a subclass of device

appearance as argument number 2

(termFormat EnglishLanguage AnimalController "animal controller")	domainEnglishFormat.kif 7565-7565
(termFormat ChineseTraditionalLanguage AnimalController "動物控制器")	domainEnglishFormat.kif 7566-7566
(termFormat ChineseLanguage AnimalController "动物控制器")	domainEnglishFormat.kif 7567-7567

antecedent

(=>
    (instance ?AC AnimalController)
    (hasPurpose ?AC
        (exists (?G ?A)
            (and
                (instance ?G Guiding)
                (instrument ?G ?AC)
                (instance ?A Animal)
                (patient ?G ?A)))))

If X is an instance of animal controller, then X has the purpose there exist Y, Z such that Y is an instance of guiding, X is an instrument for Y, Z is an instance of animal, and Z is a patient of Y