Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Male
Male(male)antheral, impotent, male, maleness, masculinity, potent, staminate, virile

appearance as argument number 1
-------------------------


s__contraryAttribute__2(s__Male,s__Female)

Merge.kif 17300-17300 Male is the opposite of female
s__documentation(s__Male,s__ChineseLanguage,'"这是表示一个 Organism 天生是雄性的 Attribute。"')

chinese_format.kif 4019-4019
s__documentation(s__Male,s__EnglishLanguage,'"An Attribute indicating that an Organism is male in nature."')

Merge.kif 17301-17302
s__instance(s__SexAttribute,s__SetOrClass)

s__instance(s__Male,s__SexAttribute)

Merge.kif 17299-17299 Male is an instance of sex attribute

appearance as argument number 2
-------------------------


s__subAttribute(s__King,s__Male)

Government.kif 1380-1380 King is a subattribute of male
s__subAttribute(s__PrinceConsort,s__Male)

Government.kif 1409-1409 PrinceConsort is a subattribute of male
s__termFormat(s__ChineseLanguage,s__Male,'"男"')

domainEnglishFormat.kif 35814-35814
s__termFormat(s__ChineseTraditionalLanguage,s__Male,'"男"')

domainEnglishFormat.kif 35813-35813
s__termFormat(s__EnglishLanguage,s__Male,'"male"')

domainEnglishFormat.kif 35812-35812

appearance as argument number 3
-------------------------


s__exhaustiveAttribute__3(s__SexAttribute,s__Female,s__Male)

Merge.kif 17284-17284 Female are all the attributes of sex attribute

antecedent
-------------------------


( ! [V__IC,V__M] :
   ((s__instance(V__M,s__WearableItem) =>
       (((s__instance(V__IC,s__IhramClothing) &
             s__wears(V__IC,V__M)
           &
           s__attribute(V__M,s__Male))
         =>
         (( ? [V__C, V__B, V__S] :
             ((s__instance(V__C,s__Cloak) &
                 s__instance(V__B,s__Belt) &
                 s__instance(V__S,s__Sandal) &
                 s__member(V__C,V__IC)
               &
               s__member(V__B,V__IC)
             &
             s__member(V__S,V__IC))))))))
)
)

ArabicCulture.kif 142-154
( ! [V__CHILD,V__PARENT] :
   (((s__instance(V__CHILD,s__Organism) &
         s__instance(V__PARENT,s__Organism))
       =>
       (((s__parent(V__CHILD,V__PARENT)
           &
           s__attribute(V__PARENT,s__Male))
         =>
         (s__father(V__CHILD,V__PARENT)))))
)
)

Merge.kif 15711-15715
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 332-337

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 367-398 The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 221-238 The male to female ratio of a geopolitical area is equal to a real number if and only if an integer is equal to the number of instances in the class described by a symbolic string and another integer is equal to the number of instances in the class described by another symbolic string and the integer and the other integer is equal to the real number
( ! [V__B] :
   (((s__instance(V__B,s__Bull) =>
         (s__instance(V__B,s__Cow) &
           s__attribute(V__B,s__Male)))
       &
       ((s__instance(V__B,s__Cow) &
           s__attribute(V__B,s__Male))
         =>
         s__instance(V__B,s__Bull)))
     )
   )

Mid-level-ontology.kif 18302-18306 An object is an instance of bull if and only if the object is an instance of cow and male is an attribute of the object
( ! [V__R] :
   (((s__instance(V__R,s__Rooster) =>
         (s__instance(V__R,s__Chicken) &
           s__attribute(V__R,s__Male)))
       &
       ((s__instance(V__R,s__Chicken) &
           s__attribute(V__R,s__Male))
         =>
         s__instance(V__R,s__Rooster)))
     )
   )

Mid-level-ontology.kif 18334-18338 An object is an instance of rooster if and only if the object is an instance of chicken and male is an attribute of the object
( ! [V__AGENT,V__POLITY,V__ELECTION] :
   (((s__instance(V__AGENT,s__Human) &
         s__instance(V__POLITY,s__Nation) &
         s__instance(V__ELECTION,s__Election))
       =>
       (((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__POLITY))
         &
         s__citizen(V__AGENT,V__POLITY)
       &
       s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
   &
   s__capability(s__VotingFn(V__ELECTION)
,s__agent__m,V__AGENT))
=>
(s__attribute(V__AGENT,s__Male)))))
)
)

Government.kif 1236-1242
( ! [V__AGENT,V__POLITY,V__ACT,V__ELECTION] :
   (((s__instance(V__AGENT,s__Human) &
         s__instance(V__POLITY,s__Nation) &
         s__instance(V__ACT,s__Process) &
         s__instance(V__ELECTION,s__Election))
       =>
       (((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__POLITY))
         &
         s__citizen(V__AGENT,V__POLITY)
       &
       s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
   &
   s__instance(V__ACT,s__VotingFn(V__ELECTION))
&
s__agent(V__ACT,V__AGENT))
=>
(s__attribute(V__AGENT,s__Male)))))
)
)

Government.kif 1244-1251
( ! [V__FATHER,V__CHILD] :
   (((s__instance(V__FATHER,s__Organism) &
         s__instance(V__CHILD,s__Organism))
       =>
       ((s__father(V__CHILD,V__FATHER)
         =>
         (s__attribute(V__FATHER,s__Male)))))
   )
)

Merge.kif 15656-15658
( ! [V__MAN] :
   ((s__instance(V__MAN,s__Man) =>
       (s__attribute(V__MAN,s__Male)))
     )
   )

Merge.kif 13958-13960
( ! [V__CHILD,V__PARENT] :
   (((s__instance(V__CHILD,s__Organism) &
         s__instance(V__PARENT,s__Organism))
       =>
       ((s__son(V__CHILD,V__PARENT)
         =>
         (s__attribute(V__CHILD,s__Male)))))
   )
)

Merge.kif 15680-15682

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1227-1234 For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING contains information exclusive male suffrage
No TPTP formula. May not be expressible in strict first order. Military.kif 867-876 The available for military service male of a geopolitical area is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order. Military.kif 890-901 The fit for military service male of a geopolitical area is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order. Military.kif 928-941 The reaching military age annually male of a geopolitical area and a year is equal to the number of instances in the class described by a symbolic string


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners