SUMO   View all facts   Glossary   Help

Entity > Abstract > Attribute > ShapeProperty

ShapeProperty
subject			fact

ShapeProperty	documentation Any Attribute that characterizes the shape of an Object
	has axiom (=> (and (instance ?ALT ShapeAlteration) (patient ?ALT ?OBJ)) (exists (?PROPERTY) (and (instance ?PROPERTY ShapeProperty) (or (and (holdsDuring (ImmediatePastFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY)) (holdsDuring (ImmediateFutureFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY)))) (and (holdsDuring (ImmediatePastFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY))) (holdsDuring (ImmediateFutureFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY)))))))
	is a kind of Attribute
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

Kinds of ShapeProperty :

• Fillable (5 facts) - Something is Fillable if it can be filled by something else. Note that 'filled' here means perfectly filled
• Pliable (3 facts) - The shape of an Object with this Attribute can be altered
• Rigid (3 facts) - The shape of an Object with this Attribute cannot be easily altered

Next Attribute: SoundProperty    Up: Attribute    Previous Attribute: SaturationProperty