Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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
-------------------------


(instance Male SexAttribute) Merge.kif 18465-18465 Male is an instance of sex attribute
(contraryAttribute Male Female) Merge.kif 18466-18466 Male is the opposite of female
(documentation Male EnglishLanguage "An Attribute indicating that an Organism is male in nature.") Merge.kif 18467-18468 Male is the opposite of female

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


(subAttribute King Male) Government.kif 1365-1365 King is a subattribute of male
(subAttribute PrinceConsort Male) Government.kif 1394-1394 Prince consort is a subattribute of male
(termFormat EnglishLanguage Male "male") domainEnglishFormat.kif 35831-35831 Prince consort is a subattribute of male
(termFormat ChineseTraditionalLanguage Male "男") domainEnglishFormat.kif 35832-35832 Prince consort is a subattribute of male
(termFormat ChineseLanguage Male "男") domainEnglishFormat.kif 35833-35833 Prince consort is a subattribute of male

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


(exhaustiveAttribute SexAttribute Female Male NonBinaryGender) Merge.kif 18445-18445 Female are all the attributes of sex attribute

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


(=>
    (and
        (parent ?CHILD ?PARENT)
        (attribute ?PARENT Male))
    (father ?CHILD ?PARENT))		 Merge.kif 16846-16850 If X is a parent of Y and male is an attribute of X, then X is a father of Y
(=>
    (holdsDuring ?T1
        (and
            (instance ?H HumanChild)
            (attribute ?H Male)))
    (holdsDuring ?T1
        (instance ?H Boy)))		 Mid-level-ontology.kif 337-342 If X is an instance of human child and male is an attribute of X holds during Y, then X is an instance of boy holds during Y
(=>
    (and
        (instance ?IC IhramClothing)
        (wears ?IC ?M)
        (attribute ?M Male))
    (exists (?C ?B ?S)
        (and
            (instance ?C Cloak)
            (instance ?B Belt)
            (instance ?S Sandal)
            (member ?C ?IC)
            (member ?B ?IC)
            (member ?S ?IC))))		 ArabicCulture.kif 151-163 If X is an instance of ihram clothing, X wears Y, and male is an attribute of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of cloak (3) W is an instance of belt (4) V is an instance of sandal (5) Z is a member of X (6) W is a member of X (7) V is a member of X

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


(=>
    (instance ?MAN Man)
    (attribute ?MAN Male))		 Merge.kif 14964-14966 If X is an instance of man, then male is an attribute of X
(=>
    (father ?CHILD ?FATHER)
    (attribute ?FATHER Male))		 Merge.kif 16791-16793 If X is a father of Y, then male is an attribute of X
(=>
    (son ?CHILD ?PARENT)
    (attribute ?CHILD Male))		 Merge.kif 16815-16817 If X is the son of Y, then male is an attribute of X
(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cattle)
        (attribute ?B Male)))		 Mid-level-ontology.kif 22421-22425 X is an instance of bull if, only if X is an instance of cattle, and male is an attribute of X
(<=>
    (instance ?R Rooster)
    (and
        (instance ?R Chicken)
        (attribute ?R Male)))		 Mid-level-ontology.kif 22444-22448 X is an instance of rooster if, only if X is an instance of chicken, and male is an attribute of X
(=>
    (and
        (subProposition ExclusiveMaleSuffrage
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY)
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (capability
            (VotingFn ?ELECTION) agent ?AGENT))
    (attribute ?AGENT Male))		 Government.kif 1221-1227 If exclusive male suffrage is a sub-proposition of the regional law of X, Y is a citizen of X, Z is an instance of the election of X, and Y is capable of doing the voting of Z as a agent, then male is an attribute of Y
(=>
    (and
        (subProposition ExclusiveMaleSuffrage
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY)
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (instance ?ACT
            (VotingFn ?ELECTION))
        (agent ?ACT ?AGENT))
    (attribute ?AGENT Male))		 Government.kif 1229-1236 If exclusive male suffrage is a sub-proposition of the regional law of X, Y is a citizen of X, Z is an instance of the election of X, W is an instance of the voting of Z, and Y is an agent of W, then male is an attribute of Y


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.0-18d41916 (2026-05-02) is open source software produced by Articulate Software and its partners