SUMO   View all facts   Glossary   Help
Entity > Abstract > Attribute > BiologicalProperty > SexProperty > Male
Next SexPropertyFemale    UpSexProperty

Male
subjectfact 
Maledocumentation An Attribute indicating that an Organism is male in nature2001-11-30 13:34:38.0
has axiom
(=>
(father ?FATHER ?CHILD)
(attribute ?FATHER Male))
2001-11-30 13:34:38.0
has contraryProperty Female2001-11-30 13:34:38.0
is an instance of SexProperty2001-11-30 13:34:38.0
Attributeis disjoint from Quantity2001-11-30 13:33:40.0
is first domain of contraryProperty2001-11-30 13:33:40.0
is first domain of ExtensionFn2001-11-30 13:33:40.0
is first domain of subAttribute2001-11-30 13:33:40.0
is first domain of successorAttribute2001-11-30 13:33:40.0
is first domain of successorAttributeClosure2001-11-30 13:33:40.0
is second domain of attribute2001-11-30 13:33:40.0
is second domain of contraryProperty2001-11-30 13:33:40.0
is second domain of manner2001-11-30 13:33:40.0
is second domain of property2001-11-30 13:33:40.0
is second domain of subAttribute2001-11-30 13:33:40.0
is second domain of successorAttribute2001-11-30 13:33:40.0
is second domain of successorAttributeClosure2001-11-30 13:33:40.0

Next SexPropertyFemale    UpSexProperty