TreeView Knowledge Base Browser - TopicalApplication

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

TopicalApplication

Sigma KEE - TopicalApplication

TopicalApplication(topical application)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12471-12472
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12470-12470	Topical application is a subclass of covering

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 12473-12473

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 4377-4377

Atopic dermatitis is disease treatment crisaborole for topical application

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 12475-12484

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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