SUMO View all facts Glossary Help |
Entity > Abstract > Attribute > ShapeProperty > Fillable |
Fillable | ||||
subject | fact |
Fillable | documentation Something is Fillable if it can be filled by something else. Note that 'filled' here means perfectly filled | |
has axiom (<=> | ||
has axiom (=> | ||
has axiom (=> | ||
is an instance of ShapeProperty | ||
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 ShapeProperty: Pliable Up: ShapeProperty Previous ShapeProperty: Rigid