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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Female
Female(女)

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


(documentation Female ChineseLanguage "这是表示一个 Organism 天生是雌性的 Attribute。") chinese_format.kif 4018-4018
(documentation Female EnglishLanguage "An Attribute indicating that an Organism is female in nature.") Merge.kif 18301-18302
(instance Female SexAttribute) Merge.kif 18300-18300 and SexAttribute

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


(contraryAttribute Male Female) Merge.kif 18312-18312 相反的屬性 and
(exhaustiveAttribute SexAttribute Female Male NonBinaryGender) Merge.kif 18291-18291 是所有的 SexAttributeattributes
(subAttribute QueenConsort Female) Government.kif 1374-1374 子屬性 QueenConsort and
(subAttribute QueenRegnant Female) Government.kif 1370-1370 子屬性 QueenRegnant and
(termFormat ChineseLanguage Female "女") domainEnglishFormat.kif 23495-23495 子屬性 QueenRegnant and
(termFormat ChineseTraditionalLanguage Female "女") domainEnglishFormat.kif 23494-23494 子屬性 QueenRegnant and
(termFormat EnglishLanguage Female "female") domainEnglishFormat.kif 23493-23493 子屬性 QueenRegnant and

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


(=>
    (and
        (attribute ?H Anemia)
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Female)
        (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 12))
Medicine.kif 172-187
(=>
    (and
        (not
            (attribute ?H Anemia))
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Female)
        (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 12))
Medicine.kif 206-221
(=>
    (and
        (parent ?CHILD ?PARENT)
        (attribute ?PARENT Female))
    (mother ?CHILD ?PARENT))
Merge.kif 16668-16672
(=>
    (and
        (subProposition ExclusiveMaleSuffrage
            (RegionalLawFn ?AREA))
        (attribute ?AGENT Female)
        (member ?AGENT
            (ResidentFn ?AREA))
        (instance ?ELECTION Election))
    (not
        (capability
            (VotingFn ?ELECTION) agent ?AGENT)))
Government.kif 1229-1235
(=>
    (holdsDuring ?T1
        (and
            (instance ?H HumanChild)
            (attribute ?H Female)))
    (holdsDuring ?T1
        (instance ?H Girl)))
Mid-level-ontology.kif 358-363

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


(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?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 Female)
                                        (during
                                            (WhenFn ?BIRTH) ?YEAR)
                                        (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 403-436 and Integer equal GeopoliticalAreafemale 出生預期壽命 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 equal GeopoliticalAreamale 對母性比率 and RealNumber equal Integer and 基數 卡帕 SymbolicString and SymbolicString and Human attribute SymbolicString and 棲息 SymbolicString and GeopoliticalArea equal Integer and 基數 卡帕 SymbolicString and SymbolicString and Human attribute SymbolicString and 棲息 SymbolicString and GeopoliticalArea equal Integer and Integer and RealNumber
(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cattle)
        (attribute ?B Female)))
Mid-level-ontology.kif 21817-21821 Object and 公牛 Object and attribute Object and
(<=>
    (instance ?H Hen)
    (and
        (instance ?H Chicken)
        (attribute ?H Female)))
Mid-level-ontology.kif 21849-21853 Object and 母雞 Object and attribute Object and
(=>
    (and
        (instance ?B Breast)
        (part ?B ?H))
    (attribute ?B Female))
Mid-level-ontology.kif 14190-14194
(=>
    (and
        (instance ?BODY ReproductiveBody)
        (part ?BODY ?ORG)
        (instance ?ORG Organism))
    (attribute ?ORG Female))
Merge.kif 18304-18309
(=>
    (and
        (instance ?L LayingEggs)
        (experiencer ?L ?A))
    (and
        (instance ?A Animal)
        (attribute ?A Female)))
Mid-level-ontology.kif 25777-25783
(=>
    (and
        (instance ?M Menstruation)
        (experiencer ?M ?F))
    (and
        (attribute ?F Female)
        (not
            (attribute ?F Menopausal))))
Mid-level-ontology.kif 25526-25533
(=>
    (attribute ?F Menopausal)
    (attribute ?F Female))
Mid-level-ontology.kif 25580-25582
(=>
    (attribute ?H Pregnant)
    (attribute ?H Female))
Mid-level-ontology.kif 21431-21433
(=>
    (attribute ?X ExclusiveFemaleLevel)
    (forall (?Y)
        (=>
            (and
                (instance ?Y HotelRoom)
                (located ?Y ?X))
            (hasPurpose ?Y
                (exists (?HUMAN)
                    (and
                        (attribute ?HUMAN Female)
                        (stays ?HUMAN ?Y)))))))
Hotel.kif 1251-1262
(=>
    (attribute ?X FemaleExecutiveRoom)
    (hasPurpose ?X
        (exists (?HUMAN)
            (and
                (instance ?HUMAN Human)
                (attribute ?HUMAN Female)
                (attribute ?HUMAN BusinessExecutive)
                (stays ?HUMAN ?X)))))
Hotel.kif 1050-1058
(=>
    (daughter ?CHILD ?PARENT)
    (attribute ?CHILD Female))
Merge.kif 16619-16621
(=>
    (instance ?B Birth)
    (exists (?M ?BABY)
        (and
            (attribute ?M Female)
            (origin ?B ?M)
            (objectTransferred ?B ?BABY)
            (attribute ?BABY NonFullyFormed))))
Mid-level-ontology.kif 25656-25663
(=>
    (instance ?INSECT QueenInsect)
    (and
        (attribute ?INSECT Female)
        (capability Replication agent ?INSECT)))
Mid-level-ontology.kif 13978-13982
(=>
    (instance ?MILK Milk)
    (exists (?PROCESS ?MAMMAL)
        (and
            (instance ?MAMMAL Mammal)
            (attribute ?MAMMAL Female)
            (instrument ?PROCESS ?MAMMAL)
            (result ?PROCESS ?MILK))))
Mid-level-ontology.kif 12201-12208
(=>
    (instance ?WOMAN Woman)
    (attribute ?WOMAN Female))
Merge.kif 14812-14814
(=>
    (mother ?CHILD ?MOTHER)
    (attribute ?MOTHER Female))
Merge.kif 16589-16591

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


(and
    (instance ?YEAR
        (YearFn ?Y))
    (equal
        (ChildrenBornPerWomanFn ?AREA ?YEAR)
        (CardinalityFn
            (KappaFn ?INFANT
                (and
                    (instance ?BIRTH Birth)
                    (experiencer ?BIRTH ?INFANT)
                    (agent ?BIRTH ?WOMAN)
                    (instance ?WOMAN Human)
                    (attribute ?WOMAN Female)
                    (holdsDuring ?YEAR
                        (inhabits ?WOMAN ?AREA)))))))
People.kif 456-469 and Integer equal GeopoliticalArea 每個女人生的 children and 基數 卡帕 SymbolicString and entity and Birth 體驗者 entity and SymbolicString agent entity and entity entity and Human attribute entity and 持有期間 and 棲息 entity and GeopoliticalArea


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