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。") Merge.kif 18524-18524
(documentation Female EnglishLanguage "An Attribute indicating that an Organism is female in nature.") Merge.kif 18522-18523
(instance Female SexAttribute) Merge.kif 18521-18521 instance Female and 性別属性

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


(contraryAttribute Male Female) Merge.kif 18534-18534 contraryAttribute Male and Female
(exhaustiveAttribute SexAttribute Female Male) Merge.kif 18516-18516 exhaustiveAttribute 性別属性, Female and Male
(subAttribute QueenConsort Female) Government.kif 1372-1372 subAttribute QueenConsort and Female
(subAttribute QueenRegnant Female) Government.kif 1368-1368 subAttribute QueenRegnant and Female
(termFormat EnglishLanguage Female "female") domainEnglishFormat.kif 4336-4336 termFormat EnglishLanguage, Female and "female"

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


(=>
    (and
        (parent ?CHILD ?PARENT)
        (attribute ?PARENT Female))
    (mother ?CHILD ?PARENT))
Merge.kif 16728-16732
(=>
    (and
        (subProposition ExclusiveMaleSuffrage
            (RegionalLawFn ?POLITY))
        (attribute ?AGENT Female)
        (instance ?ELECTION Election))
    (not
        (capability
            (VotingFn ?ELECTION) agent ?AGENT)))
Government.kif 1228-1233
(=>
    (holdsDuring ?T1
        (and
            (instance ?H HumanChild)
            (attribute ?H Female)))
    (holdsDuring ?T1
        (instance ?H Girl)))
Mid-level-ontology.kif 517-522

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


(<=>
    (equal
        (FemaleLifeExpectancyAtBirthFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (exists (?LIST)
        (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)
                                            (YearFn ?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 411-442 equal FemaleLifeExpectancyAtBirthFn 地政学的地域 and YearFn 整数 and 実数 リスト instance リスト and リスト instance ListLengthFn リスト and 整数 リストITEM average リスト and 実数
(<=>
    (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 221-238 equal MaleToFemaleRatioFn 地政学的地域 and 実数 equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人[人間] attribute 記号文字列 and Male inhabits 記号文字列 and 地政学的地域 equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人[人間] attribute 記号文字列 and Female inhabits 記号文字列 and 地政学的地域 equal DivisionFn 整数 and 整数 and 実数
(<=>
    (instance ?COW FemaleCow)
    (and
        (instance ?COW Cow)
        (attribute ?COW Female)))
Mid-level-ontology.kif 17959-17963 instance オブジェクト and FemaleCow instance オブジェクト and Cow attribute オブジェクト and Female
(<=>
    (instance ?H Hen)
    (and
        (instance ?H Chicken)
        (attribute ?H Female)))
Mid-level-ontology.kif 17976-17980 instance オブジェクト and Hen instance オブジェクト and Chicken attribute オブジェクト and Female
(=>
    (and
        (instance ?BODY ReproductiveBody)
        (part ?BODY ?ORG)
        (instance ?ORG Organism))
    (attribute ?ORG Female))
Merge.kif 18526-18531
(=>
    (and
        (instance ?L LayingEggs)
        (experiencer ?L ?A))
    (and
        (instance ?A Animal)
        (attribute ?A Female)))
Mid-level-ontology.kif 21894-21900
(=>
    (attribute ?H Pregnant)
    (attribute ?H Female))
Mid-level-ontology.kif 17601-17603
(=>
    (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 1190-1201
(=>
    (attribute ?X FemaleExecutiveRoom)
    (hasPurpose ?X
        (exists (?HUMAN)
            (and
                (instance ?HUMAN Human)
                (attribute ?HUMAN Female)
                (attribute ?HUMAN BusinessExecutive)
                (stays ?HUMAN ?X)))))
Hotel.kif 995-1003
(=>
    (daughter ?CHILD ?PARENT)
    (attribute ?CHILD Female))
Merge.kif 16675-16677
(=>
    (instance ?INSECT QueenInsect)
    (and
        (attribute ?INSECT Female)
        (capability Replication agent ?INSECT)))
Mid-level-ontology.kif 10328-10332
(=>
    (instance ?MILK Milk)
    (exists (?PROCESS ?MAMMAL)
        (and
            (instance ?MAMMAL Mammal)
            (attribute ?MAMMAL Female)
            (instrument ?PROCESS ?MAMMAL)
            (result ?PROCESS ?MILK))))
Mid-level-ontology.kif 9301-9308
(=>
    (instance ?WOMAN Woman)
    (attribute ?WOMAN Female))
Merge.kif 14757-14759
(=>
    (mother ?CHILD ?MOTHER)
    (attribute ?MOTHER Female))
Merge.kif 16642-16644

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


(equal
    (ChildrenBornPerWomanFn ?AREA
        (YearFn ?YEAR))
    (CardinalityFn
        (KappaFn ?INFANT
            (and
                (instance ?BIRTH Birth)
                (experiencer ?BIRTH ?INFANT)
                (agent ?BIRTH ?WOMAN)
                (instance ?WOMAN Human)
                (attribute ?WOMAN Female)
                (holdsDuring
                    (YearFn ?YEAR)
                    (inhabits ?WOMAN ?AREA))))))
People.kif 462-472 equal ChildrenBornPerWomanFn 地政学的地域 and YearFn 整数 and CardinalityFn KappaFn 記号文字列 and instance エンティティー and 出生 experiencer エンティティー and 記号文字列 agent エンティティー and エンティティー instance エンティティー and 人[人間] attribute エンティティー and Female holdsDuring YearFn 整数 and inhabits エンティティー and 地政学的地域


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners