TopicalApplication - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - TopicalApplication

TopicalApplication(topical application)

appearance as argument number 1

(documentation TopicalApplication EnglishLanguage "Applying Medicine to the Skin of an Animal.")	Mid-level-ontology.kif 12662-12663
(subclass TopicalApplication Covering)	Mid-level-ontology.kif 12661-12661	Topical application is a subclass of covering

appearance as argument number 2

(termFormat EnglishLanguage TopicalApplication "topical application")

Mid-level-ontology.kif 12664-12664

appearance as argument number 3

(diseaseMedicine Eczema Crisaborole TopicalApplication)

Medicine.kif 4377-4377

Atopic dermatitis is disease treatment crisaborole for topical application

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 ?TA ?S))))

Mid-level-ontology.kif 12666-12675

If a transfer is an instance of topical application,
then there exist an object, another object and a third object such that the object is an instance of medicine and the other object is an instance of animal and the third object is an instance of skin and the third object is a part of the other object and the object transferred in the transfer is the object and the transfer ends up at the third object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners