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 13769-13770
(subclass TopicalApplication Covering)	Mid-level-ontology.kif 13768-13768	Topical application is a subclass of covering

appearance as argument number 2

(termFormat EnglishLanguage TopicalApplication "topical application")

Mid-level-ontology.kif 13771-13771

appearance as argument number 3

(diseaseMedicine Eczema Crisaborole TopicalApplication)

Medicine.kif 4384-4384

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 13773-13782

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