TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18343-18344
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18342-18342	Sleeping is a subclass of psychological process

appearance as argument number 2

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

Merge.kif 18345-18345

antecedent

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

Medicine.kif 4161-4178

If sleep apnea is an attribute of an agent and sleeping is an attribute of the agent holds during a time interval,
then there exist the time interval2, a process and the process2 such that the time interval2 takes place during the time interval and there doesn't exist the process such that the process is an instance of breathing and the time of existence of the process takes place during the time interval2 and the agent experiences the process and the process2 is an instance of breathing and the agent needs the process2 holds during the time interval2

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16446-16458	If a process is an instance of insomnia and a cognitive agent experiences the process, then there exist another process, a time duration and the time duration2 such that the other process is an instance of sleeping and the cognitive agent experiences the other process and duration of the time of existence of the other process is the time duration and the cognitive agent desires duration of the time of existence of the other process is the time duration2 and the time duration2 is greater than the time duration
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19815-19821	If tired is an attribute of a cognitive agent, then the cognitive agent desires there exists an entity such that the entity is an instance of sleeping and the cognitive agent is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18347-18354	If asleep is an attribute of an agent holds during a time interval, then there exists a process such that the time interval is equal to the time of existence of the process and the process is an instance of sleeping and the agent experiences the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2105-2114	If insomnia is an attribute of an agent holds during a time interval, then there exists a process such that the process is an instance of impairment in sleeping and the agent experiences the process and the time interval is equal to the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4783-4793	If narcolepsy is an attribute of a cognitive agent holds during a time interval, then there exists a process such that the process is an instance of sleeping and the cognitive agent experiences the process and the time of existence of the process takes place during the time interval and the cognitive agent doesn't want the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5323-5334	If a physical is an instance of pajamas, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of human and the entity is an agent of the other entity and the entity wears the physical holds during the other entity and the other entity is an instance of sleeping or the other entity is an instance of staying still

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: