Female - Sigma Knowledge base Browser

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 16768-16769
(instance Female SexAttribute)	Merge.kif 16767-16767	instance Female and SexAttribute

appearance as argument number 2

(contraryAttribute Male Female)	Merge.kif 16779-16779	contraryAttribute Male and Female
(exhaustiveAttribute SexAttribute Female Male)	Merge.kif 16763-16763	exhaustiveAttribute SexAttribute, Female and Male
(subAttribute QueenConsort Female)	Government.kif 1366-1366	subAttribute QueenConsort and Female
(subAttribute QueenRegnant Female)	Government.kif 1362-1362	subAttribute QueenRegnant and Female
(termFormat ChineseLanguage Female "女")	domainEnglishFormat.kif 23413-23413
(termFormat ChineseTraditionalLanguage Female "女")	domainEnglishFormat.kif 23412-23412
(termFormat EnglishLanguage Female "female")	domainEnglishFormat.kif 23411-23411

antecedent

(=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Female)) (mother ?CHILD ?PARENT))	Merge.kif 15295-15299	parent Organism and Organism attribute Organism and Female mother Organism and Organism
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?AREA)) (attribute ?AGENT Female) (member ?AGENT (ResidentFn ?AREA)) (instance ?ELECTION Election)) (not (capability (VotingFn ?ELECTION) agent ?AGENT)))	Government.kif 1221-1227	subProposition ExclusiveMaleSuffrage and RegionalLawFn GeopoliticalArea attribute Object and Female member Object and ResidentFn GeopoliticalArea instance Election and Election capability VotingFn Election, agent and Object
(=> (holdsDuring ?T1 (and (instance ?H HumanChild) (attribute ?H Female))) (holdsDuring ?T1 (instance ?H Girl)))	Mid-level-ontology.kif 516-521	holdsDuring TimePosition and instance entity and HumanChild attribute entity and Female holdsDuring TimePosition and instance entity and Girl

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 GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human attribute entity and Female during WhenFn entity and YearFn Integer equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(<=> (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 GeopoliticalArea and RealNumber equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human attribute SymbolicString and Male inhabits SymbolicString and GeopoliticalArea equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human attribute SymbolicString and Female inhabits SymbolicString and GeopoliticalArea equal DivisionFn Integer and Integer and RealNumber
(<=> (instance ?COW FemaleCow) (and (instance ?COW Cow) (attribute ?COW Female)))	Mid-level-ontology.kif 17961-17965	instance Object and FemaleCow instance Object and Cow attribute Object and Female
(<=> (instance ?H Hen) (and (instance ?H Chicken) (attribute ?H Female)))	Mid-level-ontology.kif 17978-17982	instance Object and Hen instance Object and Chicken attribute Object and Female
(=> (and (instance ?BODY ReproductiveBody) (part ?BODY ?ORG) (instance ?ORG Organism)) (attribute ?ORG Female))	Merge.kif 16771-16776	instance Object and ReproductiveBody part Object and Object instance Object and Organism attribute Object and Female
(=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female)))	Mid-level-ontology.kif 21907-21913	instance Process and LayingEggs experiencer Process and Agent instance Agent and Animal attribute Agent and Female
(=> (attribute ?H Pregnant) (attribute ?H Female))	Mid-level-ontology.kif 17603-17605	attribute Object and Pregnant attribute Object and Female
(=> (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 1194-1205	attribute Object and ExclusiveFemaleLevel Physical instance Physical and HotelRoom located Physical and Object hasPurpose Physical and entity attribute entity and Female stays entity and Physical
(=> (attribute ?X FemaleExecutiveRoom) (hasPurpose ?X (exists (?HUMAN) (and (instance ?HUMAN Human) (attribute ?HUMAN Female) (attribute ?HUMAN BusinessExecutive) (stays ?HUMAN ?X)))))	Hotel.kif 999-1007	attribute Object and FemaleExecutiveRoom hasPurpose Object and entity instance entity and Human attribute entity and Female attribute entity and BusinessExecutive stays entity and Object
(=> (daughter ?CHILD ?PARENT) (attribute ?CHILD Female))	Merge.kif 15246-15248	daughter Organism and Organism attribute Organism and Female
(=> (instance ?INSECT QueenInsect) (and (attribute ?INSECT Female) (capability Replication agent ?INSECT)))	Mid-level-ontology.kif 10331-10335	instance Object and QueenInsect attribute Object and Female capability Replication, agent and Object
(=> (instance ?MILK Milk) (exists (?PROCESS ?MAMMAL) (and (instance ?MAMMAL Mammal) (attribute ?MAMMAL Female) (instrument ?PROCESS ?MAMMAL) (result ?PROCESS ?MILK))))	Mid-level-ontology.kif 9304-9311	instance Entity and Milk Process Object instance Object and Mammal attribute Object and Female instrument Process and Object result Process and Entity
(=> (instance ?WOMAN Woman) (attribute ?WOMAN Female))	Merge.kif 13588-13590	instance Object and Woman attribute Object and Female
(=> (mother ?CHILD ?MOTHER) (attribute ?MOTHER Female))	Merge.kif 15216-15218	mother Organism and Organism attribute Organism and Female

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 GeopoliticalArea and YearFn Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and SymbolicString agent entity and entity instance entity and Human attribute entity and Female holdsDuring YearFn Integer and inhabits 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: