TreeView Knowledge Base Browser - Adalimumab

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Adalimumab

Adalimumab(adalimumab)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3607-3621
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3626-3626	Headache is a side effect of taking adalimumab
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3625-3625	Rash is a side effect of taking adalimumab
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3605-3605	Adalimumab is a subclass of medicine

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3646-3646	Humira is a subclass of adalimumab
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3622-3622

antecedent

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

Medicine.kif 3628-3644

If a transfer is an instance of injecting and an object is an instance of adalimumab and the object transferred in the transfer is the object and the transfer is located at another object and the other object is an instance of body part and the transfer ends up at an entity,
then the statement there exists another entity such that pain in the the other object is an attribute of the entity holds during the other entity and the other entity takes place during after the time of existence of the transfer has the modal force of likely

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