SUMO View all facts Glossary Help |
Entity > Abstract > Attribute > BiologicalProperty > SexProperty > Male |
Male | ||||
subject | fact |
Male | documentation An Attribute indicating that an Organism is male in nature | |
has axiom (=> | ||
has contraryProperty Female | ||
is an instance of SexProperty | ||
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 SexProperty: Female Up: SexProperty