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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Male

Sigma KEE - Male
Maleantheral, impotent, male, maleness, masculinity, potent, staminate, virile

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


s__contraryAttribute_2(s__Male,s__Female)

Merge.kif 18482-18482
s__documentation(s__Male,s__ChineseLanguage,'这是表示一个 Organism 天生是雄性的 Attribute。')

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

Merge.kif 18483-18484
s__instance(s__SexAttribute,s__SetOrClass)

Merge.kif 18481-18481

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


s__subAttribute(s__King,s__Male)

Government.kif 1354-1354
s__subAttribute(s__PrinceConsort,s__Male)

Government.kif 1383-1383
s__termFormat(s__EnglishLanguage,s__Male,'male')

domainEnglishFormat.kif 6390-6390

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


s__exhaustiveAttribute_3(s__SexAttribute,s__Female,s__Male)

Merge.kif 18464-18464

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


( ∀ [V__IC,V__M]
   ((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__parent(V__CHILD,V__PARENT)
     ∧
     s__attribute(V__PARENT,s__Male))
   ⇒
   s__father(V__CHILD,V__PARENT))
)

Merge.kif 16670-16674
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 505-510

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


No TPTP formula. May not be expressible in strict first order. People.kif 367-398
No TPTP formula. May not be expressible in strict first order. People.kif 221-238
( ∀ [V__B]
   (s__instance(V__B,s__Bull) <⇒
     (s__instance(V__B,s__Cow) ∧
       s__attribute(V__B,s__Male)))
   )

Mid-level-ontology.kif 17892-17896
( ∀ [V__R]
   (s__instance(V__R,s__Rooster) <⇒
     (s__instance(V__R,s__Chicken) ∧
       s__attribute(V__R,s__Male)))
   )

Mid-level-ontology.kif 17927-17931
( ∀ [V__POLITY,V__AGENT,V__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 1211-1217
( ∀ [V__POLITY,V__AGENT,V__ELECTION,V__ACT]
   ((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 1219-1226
( ∀ [V__CHILD,V__FATHER]
   (s__father(V__CHILD,V__FATHER)
   ⇒
   s__attribute(V__FATHER,s__Male))
)

Merge.kif 16609-16611
( ∀ [V__MAN]
   (s__instance(V__MAN,s__Man) ⇒
     s__attribute(V__MAN,s__Male))
   )

Merge.kif 14691-14693
( ∀ [V__CHILD,V__PARENT]
   (s__son(V__CHILD,V__PARENT)
   ⇒
   s__attribute(V__CHILD,s__Male))
)

Merge.kif 16637-16639

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1202-1209
No TPTP formula. May not be expressible in strict first order. Military.kif 867-876
No TPTP formula. May not be expressible in strict first order. Military.kif 890-901
No TPTP formula. May not be expressible in strict first order. Military.kif 928-941


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners