PainFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PainFn

PainFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6348-6349
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6350-6350	The number 1 argument of pain is an instance of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6347-6347	Pain is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6351-6351	The values returned by pain are subclasses of pain

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6353-6353
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6352-6352

antecedent

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

Mid-level-ontology.kif 6357-6364

If an agent experiences a process and the agent is an instance of pain in the a body part,
then there exists the body partART such that the body partART is a part of the process and the body partART is located at the body part

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1008-1019	If a process is an instance of local anesthetizing and the process is located at an object and the object is an instance of body part and the object is a part of another object and the other object is a patient of the process, then pain in the the object is not an attribute of the other object holds during the time of existence of the process
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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4891-4911	If a physical is an instance of ivabradine, then the physical has the purpose there exist an entity, the physicalN and a third entity such that the entity is an instance of human and the third entity is an instance of pain in the chest and the entity experiences the third entity and the physicalN is an instance of ingesting and the entity is an agent of the physicalN and the time of existence of the third entity happens earlier than the time of existence of the physicalN and there doesn't exist the third entity2 such that the third entity2 is an instance of pain in the chest and the entity experiences the third entity2 and the time of existence of the physicalN happens earlier than the time of existence of the third entity2

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3714-3714	pathologic side effect cetirizine and pain in the abdomen
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4286-4286	Pain in the abdomen is a side effect of taking cetirizine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2218-2218	Arthritis is a subclass of pain in the body joint
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2016-2016	Chest pain is a subclass of pain in the chest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19333-19333	Headache is a subclass of pain in the head
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2011-2011	Joint pain is a subclass of pain in the body joint

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