SUMO   View all facts   Glossary   Help

Entity > Abstract > Attribute > BiologicalProperty > ConsciousnessProperty > Asleep

Asleep
subject			fact

Asleep	documentation This Attribute applies to Organisms that are sleeping
	has contraryProperty Awake
	has contraryProperty Unconscious
	is a kind of ConsciousnessProperty
ConsciousnessProperty	has axiom (=> (instance ?PROPERTY ConsciousnessProperty) (=> (holdsDuring ?TIME (attribute ?ORGANISM ?PROPERTY)) (holdsDuring ?TIME (attribute ?ORGANISM Living))))
Attribute	is disjoint from Quantity
	is first domain of contraryProperty
	is first domain of ExtensionFn
	is first domain of subAttribute
	is first domain of successorAttribute
	is first domain of successorAttributeClosure
	is second domain of attribute
	is second domain of contraryProperty
	is second domain of manner
	is second domain of property
	is second domain of subAttribute
	is second domain of successorAttribute
	is second domain of successorAttributeClosure

Next ConsciousnessProperty: Awake    Up: ConsciousnessProperty    Previous ConsciousnessProperty: Unconscious