TreeView Knowledge Base Browser - TopicalApplication

appearance as argument number 1

(documentation TopicalApplication EnglishLanguage "Applying Medicine to the Skin of an Animal.")	Mid-level-ontology.kif 12443-12444
(subclass TopicalApplication Covering)	Mid-level-ontology.kif 12442-12442	TopicalApplication ist eine teilkategorie von Covering

appearance as argument number 2

Mid-level-ontology.kif 12445-12445

appearance as argument number 3

(diseaseMedicine Eczema Crisaborole TopicalApplication)

Medicine.kif 4377-4377

antecedent

(=>
    (instance ?TA TopicalApplication)
    (exists (?M ?A ?S)
        (and
            (instance ?M Medicine)
            (instance ?A Animal)
            (instance ?S Skin)
            (part ?S ?A)
            (objectTransferred ?TA ?M)
            (destination ?M ?S))))

Mid-level-ontology.kif 12447-12456

Wenn Transfer ist ein fall von TopicalApplication %n{nicht},
dann es gibt Object, ** Object, and und ** Object um ** Object ist ein fall von Medicine %n{nicht} und ** ** Object ist ein fall von Animal %n{nicht} und ** ** Object ist ein fall von Skin %n{nicht} und ** ** Object ist ein teil von ** ** Object %n{nicht} und objectTransferred ** Transfer and ** Object und ** Object endet an ** ** Object %n{nicht}