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 12443-12444
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12442-12442	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 12445-12445

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 12447-12456

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 object 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