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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Male

Sigma KEE - Male
Male(男)

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


(contraryAttribute Male Female) Merge.kif 18125-18125 相反的屬性 and
(documentation Male ChineseLanguage "这是表示一个 Organism 天生是雄性的 Attribute。") chinese_format.kif 4019-4019
(documentation Male EnglishLanguage "An Attribute indicating that an Organism is male in nature.") Merge.kif 18126-18127
(instance Male SexAttribute) Merge.kif 18124-18124 and SexAttribute

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


(subAttribute King Male) Government.kif 1394-1394 子屬性 and
(subAttribute PrinceConsort Male) Government.kif 1423-1423 子屬性 PrinceConsort and
(termFormat ChineseLanguage Male "男") domainEnglishFormat.kif 35831-35831
(termFormat ChineseTraditionalLanguage Male "男") domainEnglishFormat.kif 35830-35830
(termFormat EnglishLanguage Male "male") domainEnglishFormat.kif 35829-35829

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


(exhaustiveAttribute SexAttribute Female Male NonBinaryGender) Merge.kif 18105-18105 是所有的 SexAttributeattributes

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


(=>
    (and
        (attribute ?H Anemia)
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Male)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (lessThan ?N 13))
Medicine.kif 155-170
(=>
    (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
(=>
    (and
        (not
            (attribute ?H Anemia))
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Male)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (greaterThan ?N 13))
Medicine.kif 189-204
(=>
    (and
        (parent ?CHILD ?PARENT)
        (attribute ?PARENT Male))
    (father ?CHILD ?PARENT))
Merge.kif 16487-16491
(=>
    (holdsDuring ?T1
        (and
            (instance ?H HumanChild)
            (attribute ?H Male)))
    (holdsDuring ?T1
        (instance ?H Boy)))
Mid-level-ontology.kif 354-359

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


(<=>
    (and
        (instance ?Y
            (YearFn ?YEAR))
        (equal
            (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (attribute ?INDIVIDUAL Male)
                                        (during
                                            (WhenFn ?BIRTH) ?Y)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))
People.kif 357-390 and EAR 等於 GeopoliticalAreamale 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity List and List 列表長度 List and Integer ListITEM RealNumber Listaverage
(<=>
    (equal
        (MaleToFemaleRatioFn ?AREA) ?REALNUMBER)
    (and
        (equal ?MALECOUNT
            (CardinalityFn
                (KappaFn ?MALE
                    (and
                        (instance ?MALE Human)
                        (attribute ?MALE Male)
                        (inhabits ?MALE ?AREA)))))
        (equal ?FEMALECOUNT
            (CardinalityFn
                (KappaFn ?FEMALE
                    (and
                        (instance ?FEMALE Human)
                        (attribute ?FEMALE Female)
                        (inhabits ?FEMALE ?AREA)))))
        (equal
            (DivisionFn ?MALECOUNT ?FEMALECOUNT) ?REALNUMBER)))
People.kif 206-223 等於 GeopoliticalAreamale 對母性比率 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Human attribute SymbolicString and 棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Human attribute SymbolicString and 棲息 SymbolicString and GeopoliticalArea 等於 Integer and Integer and RealNumber
(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cattle)
        (attribute ?B Male)))
Mid-level-ontology.kif 20218-20222 Object and 公牛 Object and attribute Object and
(<=>
    (instance ?R Rooster)
    (and
        (instance ?R Chicken)
        (attribute ?R Male)))
Mid-level-ontology.kif 20241-20245 Object and 公雞 Object and attribute Object and
(=>
    (and
        (subProposition ExclusiveMaleSuffrage
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY)
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (capability
            (VotingFn ?ELECTION) agent ?AGENT))
    (attribute ?AGENT Male))
Government.kif 1250-1256
(=>
    (and
        (subProposition ExclusiveMaleSuffrage
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY)
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (instance ?ACT
            (VotingFn ?ELECTION))
        (agent ?ACT ?AGENT))
    (attribute ?AGENT Male))
Government.kif 1258-1265
(=>
    (father ?CHILD ?FATHER)
    (attribute ?FATHER Male))
Merge.kif 16432-16434
(=>
    (instance ?MAN Man)
    (attribute ?MAN Male))
Merge.kif 14652-14654
(=>
    (son ?CHILD ?PARENT)
    (attribute ?CHILD Male))
Merge.kif 16456-16458

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


(containsInformation
    (forall (?AGENT ?VOTER ?ELECTION ?VOTING)
        (=>
            (and
                (instance ?ELECTION
                    (ElectionFn ?AGENT))
                (instance ?VOTING
                    (VotingFn ?ELECTION))
                (agent ?VOTING ?VOTER))
            (attribute ?VOTER Male))) ExclusiveMaleSuffrage)
Government.kif 1241-1248 包含信息 ?AGENT ?VOTER, ?ELECTION and ?VOTING and 獨家男性選舉權
(equal
    (AvailableForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))
Military.kif 872-881 等於 GeopoliticalAreaavailable 軍事服務男性 and 基數 卡帕 SymbolicString and SymbolicString and Human attribute SymbolicString and entity GeopoliticalAreamilitary 年紀 年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
(equal
    (FitForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (subclass ?PROCESS MilitaryProcess)
                (fitForMilitaryService ?PERSON ?PROCESS)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))
Military.kif 895-906 等於 GeopoliticalAreafit 對於軍服務男性 and 基數 卡帕 SymbolicString and SymbolicString and Human attribute SymbolicString and 子類 entity and MilitaryProcess entity SymbolicStringfit 軍事服務 entity GeopoliticalAreamilitary 年紀 年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
(equal
    (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (militaryAge ?AREA ?MILITARYAGE)
                (equal ?AGEMINUSONE
                    (SubtractionFn ?AGE 1))
                (holdsDuring ?YEAR
                    (or
                        (age ?PERSON ?AGEMINUSONE)
                        (age ?PERSON ?AGE)))
                (equal ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))
Military.kif 933-946 等於 GeopoliticalArea 每年的 reaching 軍事男性年齡 and 基數 卡帕 SymbolicString and SymbolicString and Human attribute SymbolicString and entity GeopoliticalAreamilitary 年紀 等於 entity and 減法 entity and 1 持有期間 and 年齡 SymbolicString and entity 年齡 SymbolicString and entity 等於 entity and entity 棲息 SymbolicString and GeopoliticalArea


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 3.0 is open source software produced by Articulate Software and its partners