TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19357-19358
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3168-3168
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3167-3167
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2980-2980
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6407-6407	A treatment for pain is painkiller administered via ingesting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19356-19356	Pain is a subclass of pathologic process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	emotion.kif 763-763	Pleasure is the opposite of pain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6345-6345	The values returned by pain are subclasses of pain
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44000-44000
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43999-43999
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43998-43998

antecedent

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

Medicine.kif 6470-6482

If AVPU pain status is an attribute of an agent holds during a time interval and a process is an instance of pain and the time of existence of the process takes place during the time interval and the agent experiences the process,
then there exists another process such that the other process is an instance of body motion and the agent experiences the other process and the time of existence of the other process takes place during the time interval and the process causes the other process

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 966-975	If a process is an instance of anesthetizing and an entity is a patient of the process, then unconscious is an attribute of the entity and pain is not an attribute of the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 949-958	If a process is an instance of anesthetizing and an entity is a patient of the process, then unconscious is an attribute of the entity or pain is not an attribute of the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1583-1597	If a process is an instance of experiencing discomfort in the stomach and an agent experiences the process, then there exist another process, the other processAIN and an object such that the other process is an instance of perception and the time of existence of the other process takes place during the time of existence of the other processAIN and the other processAIN is an instance of pain and the agent experiences the other processAIN and the other process is a subprocess of the process and the agent is an agent of the other process and the object is a patient of the other process and the object is an instance of stomach and the object is a part of the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5773-5792	If a process is an instance of relieving pain and an object is a patient of the process, then there exists a physical such that immediately before the time of existence of the process overlaps the time of existence of the physical and the physical is an instance of pain and the physical is located at the object and there doesn't exist another physical such that immediately after the time of existence of the process overlaps the time of existence of the other physical and the other physical is an instance of pain and the other physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4533-4541	If Fibromyalgia is an attribute of an agent holds during a time interval, then there exists a process such that the process is an instance of pain and the agent experiences the process and the time interval takes place during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9614-9625	If an entity is an instance of plant spinose structure, then the statement there exist another entity, a third entity and a fourth entity such that the other entity is an instance of inserting and the entity is an instrument for the other entity and the fourth entity is an instance of animal and the fourth entity is a patient of the other entity and the other entity causes the third entity and the third entity is an instance of pain and the fourth entity experiences the third entity has the modal force of possibility

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

KB Term:			Term intersection

English Word: