SUMO View all facts Glossary Help |
Entity > Abstract > Attribute > PhysicalState > Solid |
Solid | ||||
subject | fact |
Solid | documentation An Object has the Attribute of Solid if it has a fixed shape and a fixed volume | |
has axiom (=> | ||
is an instance of PhysicalState | ||
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 PhysicalState: Gas Up: PhysicalState Previous PhysicalState: Liquid