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 18323-18324
(instance Female SexAttribute)	Merge.kif 18322-18322	Female is an instance of sex attribute

appearance as argument number 2

(contraryAttribute Male Female)	Merge.kif 18334-18334	Male is the opposite of Female
(exhaustiveAttribute SexAttribute Female Male NonBinaryGender)	Merge.kif 18313-18313	exhaustiveAttribute sex attribute, Female, Male and NonBinaryGender
(subAttribute QueenConsort Female)	Government.kif 1374-1374	QueenConsort is a subattribute of Female
(subAttribute QueenRegnant Female)	Government.kif 1370-1370	QueenRegnant is a subattribute of Female
(termFormat ChineseLanguage Female "女")	domainEnglishFormat.kif 23494-23494	QueenRegnant is a subattribute of Female
(termFormat ChineseTraditionalLanguage Female "女")	domainEnglishFormat.kif 23493-23493	QueenRegnant is a subattribute of Female
(termFormat EnglishLanguage Female "female")	domainEnglishFormat.kif 23492-23492	QueenRegnant is a subattribute of Female

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	If Anemia is an attribute of an object and another object is an instance of blood and the other object is a part of the object and Female is an attribute of the object and the measure of the other object is 0.1 Liter(s) and the objectE is an instance of Hemoglobin and the objectE is a part of the other object and the objectE2 is not an instance of Hemoglobin and equal the objectE and the objectE2 and the object2 is a part of the other object and the measure of the objectE is a real number Gram(s), then the real number is less than 12
(=> (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	If Anemia is not an attribute of an object and another object is an instance of blood and the other object is a part of the object and Female is an attribute of the object and the measure of the other object is 0.1 Liter(s) and the objectE is an instance of Hemoglobin and the objectE is a part of the other object and the objectE2 is not an instance of Hemoglobin and equal the objectE and the objectE2 and the object2 is a part of the other object and the measure of the objectE is a real number Gram(s), then the real number is greater than 12
(=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Female)) (mother ?CHILD ?PARENT))	Merge.kif 16690-16694	If an organism is a parent of another organism and Female is an attribute of the organism, then the organism is a mother of the other organism
(=> (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	If ExclusiveMaleSuffrage is a sub-proposition of RegionalLawFn a geopolitical area and Female is an attribute of an object and the object is a member of ResidentFn the geopolitical area and an Election is an instance of Election, then the object is not capable of doing VotingFn the Election as a agent
(=> (holdsDuring ?T1 (and (instance ?H HumanChild) (attribute ?H Female))) (holdsDuring ?T1 (instance ?H Girl)))	Mid-level-ontology.kif 358-363	If an entity is an instance of HumanChild and Female is an attribute of the entity holds during a time position, then the entity is an instance of Girl holds during the time position

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	A year is an instance of the year an integer and equal FemaleLifeExpectancyAtBirthFn a geopolitical area and the year and a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and equal the other integer and the number of instances in the class described by the symbolic string and average the list and the real number
(<=> (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 MaleToFemaleRatioFn a geopolitical area and an integer if and only if equal another integer and the number of instances in the class described by a symbolic string and equal a third integer and the number of instances in the class described by another symbolic string and equal the other integer and the third integer and the integer
(<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Female)))	Mid-level-ontology.kif 21808-21812	An object is an instance of Bull if and only if the object is an instance of Cattle and Female is an attribute of the object
(<=> (instance ?H Hen) (and (instance ?H Chicken) (attribute ?H Female)))	Mid-level-ontology.kif 21840-21844	An object is an instance of Hen if and only if the object is an instance of Chicken and Female is an attribute of the object
(=> (and (instance ?B Breast) (part ?B ?H)) (attribute ?B Female))	Mid-level-ontology.kif 14184-14188	If an object is an instance of Breast and the object is a part of another object, then Female is an attribute of the object
(=> (and (instance ?BODY ReproductiveBody) (part ?BODY ?ORG) (instance ?ORG Organism)) (attribute ?ORG Female))	Merge.kif 18326-18331	If an object is an instance of reproductive body and the object is a part of another object and the other object is an instance of organism, then Female is an attribute of the other object
(=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female)))	Mid-level-ontology.kif 25768-25774	If a process is an instance of LayingEggs and an agent experiences the process, then the agent is an instance of animal and Female is an attribute of the agent
(=> (and (instance ?M Menstruation) (experiencer ?M ?F)) (and (attribute ?F Female) (not (attribute ?F Menopausal))))	Mid-level-ontology.kif 25517-25524	If a process is an instance of Menstruation and an agent experiences the process, then Female is an attribute of the agent and Menopausal is not an attribute of the agent
(=> (attribute ?F Menopausal) (attribute ?F Female))	Mid-level-ontology.kif 25571-25573	If Menopausal is an attribute of an object, then Female is an attribute of the object
(=> (attribute ?H Pregnant) (attribute ?H Female))	Mid-level-ontology.kif 21422-21424	If Pregnant is an attribute of an object, then Female is an attribute of the object
(=> (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	If ExclusiveFemaleLevel is an attribute of an object, then for all a physical if the physical is an instance of HotelRoom and the physical is located at the object, then the physical has the purpose there exists an entity such that Female is an attribute of the entity and stays the entity and the physical
(=> (attribute ?X FemaleExecutiveRoom) (hasPurpose ?X (exists (?HUMAN) (and (instance ?HUMAN Human) (attribute ?HUMAN Female) (attribute ?HUMAN BusinessExecutive) (stays ?HUMAN ?X)))))	Hotel.kif 1050-1058	If FemaleExecutiveRoom is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of human and Female is an attribute of the entity and BusinessExecutive is an attribute of the entity and stays the entity and the object
(=> (daughter ?CHILD ?PARENT) (attribute ?CHILD Female))	Merge.kif 16641-16643	If daughter an organism and another organism, then Female is an attribute of the organism
(=> (instance ?B Birth) (exists (?M ?BABY) (and (attribute ?M Female) (origin ?B ?M) (objectTransferred ?B ?BABY) (attribute ?BABY NonFullyFormed))))	Mid-level-ontology.kif 25647-25654	If a transfer is an instance of birth, then there exist an object and the transferABY such that Female is an attribute of the object and the transfer originates at the object and objectTransferred the transfer and the transferABY and NonFullyFormed is an attribute of the transferABY
(=> (instance ?INSECT QueenInsect) (and (attribute ?INSECT Female) (capability Replication agent ?INSECT)))	Mid-level-ontology.kif 13972-13976	If an object is an instance of QueenInsect, then Female is an attribute of the object and the object is capable of doing replication as a agent
(=> (instance ?MILK Milk) (exists (?PROCESS ?MAMMAL) (and (instance ?MAMMAL Mammal) (attribute ?MAMMAL Female) (instrument ?PROCESS ?MAMMAL) (result ?PROCESS ?MILK))))	Mid-level-ontology.kif 12195-12202	If an entity is an instance of Milk, then there exist a process and an object such that the object is an instance of mammal and Female is an attribute of the object and the object is an instrument for the process and the entity is a result of the process
(=> (instance ?WOMAN Woman) (attribute ?WOMAN Female))	Merge.kif 14834-14836	If an object is an instance of Woman, then Female is an attribute of the object
(=> (mother ?CHILD ?MOTHER) (attribute ?MOTHER Female))	Merge.kif 16611-16613	If an organism is a mother of another organism, then Female is an attribute of the organism

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

A year is an instance of the year an integer and equal ChildrenBornPerWomanFn a geopolitical area and the year and the number of instances in the class described by a symbolic string

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

KB Term:			Term intersection

English Word: