![]() |
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