| Female(female) | | Amazon, earth_mother, egg-producing, fair_sex, female, femaleness, feminineness, giantess, hen, heroine, intact, inviolate, ogress, woman, womanhood, womankind, young-bearing |
| appearance as argument number 1 |
|
|
| (instance Female SexAttribute) | Merge.kif 18320-18320 | Female is an instance of sex attribute |
| (documentation Female EnglishLanguage "An Attribute indicating that an Organism is female in nature.") | Merge.kif 18321-18322 | Female is an instance of sex attribute |
| appearance as argument number 2 |
|
|
| (subAttribute QueenRegnant Female) | Government.kif 1370-1370 | Queen regnant is a subattribute of female |
| (subAttribute QueenConsort Female) | Government.kif 1374-1374 | Queen consort is a subattribute of female |
| (exhaustiveAttribute SexAttribute Female Male NonBinaryGender) | Merge.kif 18311-18311 | Female are all the attributes of sex attribute |
| (contraryAttribute Male Female) | Merge.kif 18332-18332 | Male is the opposite of female |
| (termFormat EnglishLanguage Female "female") | domainEnglishFormat.kif 23486-23486 | Male is the opposite of female |
| (termFormat ChineseTraditionalLanguage Female "女") | domainEnglishFormat.kif 23487-23487 | Male is the opposite of female |
| (termFormat ChineseLanguage Female "女") | domainEnglishFormat.kif 23488-23488 | Male is the opposite of female |
| antecedent |
|
|
| (=> (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 exclusive male suffrage is a sub-proposition of the regional law of X, female is an attribute of Y, Y is a member of the resident of X, and Z is an instance of election, then Y is not capable of doing the voting of Z as a agent |
| (=> (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 All of the following hold: (1) anaemia is an attribute of X (2) Y is an instance of blood (3) Y is a part of X (4) female is an attribute of X (5) the measure of Y is 0.1 liter(s) (6) Z is an instance of haemoglobin (7) Z is a part of Y (8) W is not an instance of haemoglobin (9) equal Z and W (10) V is a part of Y (11) the measure of Z is U gram(s), then U 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 All of the following hold: (1) anaemia is not an attribute of X (2) Y is an instance of blood (3) Y is a part of X (4) female is an attribute of X (5) the measure of Y is 0.1 liter(s) (6) Z is an instance of haemoglobin (7) Z is a part of Y (8) W is not an instance of haemoglobin (9) equal Z and W (10) V is a part of Y (11) the measure of Z is U gram(s), then U is greater than 12 |
| (=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Female)) (mother ?CHILD ?PARENT)) |
Merge.kif 16693-16697 | If X is a parent of Y and female is an attribute of X, then X is a mother of Y |
| (=> (holdsDuring ?T1 (and (instance ?H HumanChild) (attribute ?H Female))) (holdsDuring ?T1 (instance ?H Girl))) |
Mid-level-ontology.kif 361-366 | If X is an instance of human child and female is an attribute of X holds during Y, then X is an instance of girl holds during Y |
| consequent |
|
|
| (=> (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 female executive room is an attribute of X, then X has the purpose there exists Y such that Y is an instance of human, female is an attribute of Y, business executive is an attribute of Y, and Y stays at X |
| (=> (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 female level is an attribute of X, then For all Physical Y: if Y is an instance of hotel room and Y is located at X, then Y has the purpose there exists Z such that female is an attribute of Z and Z stays at Y |
| (=> (instance ?WOMAN Woman) (attribute ?WOMAN Female)) |
Merge.kif 14834-14836 | If X is an instance of woman, then female is an attribute of X |
| (=> (mother ?CHILD ?MOTHER) (attribute ?MOTHER Female)) |
Merge.kif 16614-16616 | If X is a mother of Y, then female is an attribute of X |
| (=> (daughter ?CHILD ?PARENT) (attribute ?CHILD Female)) |
Merge.kif 16644-16646 | If X is the daughter of Y, then female is an attribute of X |
| (=> (and (instance ?BODY ReproductiveBody) (part ?BODY ?ORG) (instance ?ORG Organism)) (attribute ?ORG Female)) |
Merge.kif 18324-18329 | If X is an instance of reproductive body, X is a part of Y, and Y is an instance of organism, then female is an attribute of Y |
| (=> (instance ?MILK Milk) (exists (?PROCESS ?MAMMAL) (and (instance ?MAMMAL Mammal) (attribute ?MAMMAL Female) (instrument ?PROCESS ?MAMMAL) (result ?PROCESS ?MILK)))) |
Mid-level-ontology.kif 12240-12247 | If X is an instance of milk, then there exist Y, Z such that Z is an instance of mammal, female is an attribute of Z, Z is an instrument for Y, and X is a result of Y |
| (=> (instance ?INSECT QueenInsect) (and (attribute ?INSECT Female) (capability Replication agent ?INSECT))) |
Mid-level-ontology.kif 14111-14115 | If X is an instance of queen insect, then female is an attribute of X and X is capable of doing replication as a agent |
| (=> (and (instance ?B Breast) (part ?B ?H)) (attribute ?B Female)) |
Mid-level-ontology.kif 14323-14327 | If X is an instance of breast and X is a part of Y, then female is an attribute of X |
| (=> (attribute ?H Pregnant) (attribute ?H Female)) |
Mid-level-ontology.kif 21803-21805 | If pregnant is an attribute of X, then female is an attribute of X |
| (<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Female))) |
Mid-level-ontology.kif 22476-22480 | X is an instance of bull if, only if X is an instance of cattle, and female is an attribute of X |
| (<=> (instance ?H Hen) (and (instance ?H Chicken) (attribute ?H Female))) |
Mid-level-ontology.kif 22508-22512 | X is an instance of hen if, only if X is an instance of chicken, and female is an attribute of X |
| (=> (and (instance ?M Menstruation) (experiencer ?M ?F)) (and (attribute ?F Female) (not (attribute ?F Menopausal)))) |
Mid-level-ontology.kif 26245-26252 | If X is an instance of period and Y experiences X, then female is an attribute of Y and menopause is not an attribute of Y |
| (=> (attribute ?F Menopausal) (attribute ?F Female)) |
Mid-level-ontology.kif 26299-26301 | If menopause is an attribute of X, then female is an attribute of X |
| (=> (instance ?B Birth) (exists (?M ?BABY) (and (attribute ?M Female) (origin ?B ?M) (objectTransferred ?B ?BABY) (attribute ?BABY NonFullyFormed)))) |
Mid-level-ontology.kif 26375-26382 | If X is an instance of birth, then there exist Y, Z such that female is an attribute of Y, X originates at Y, the object transferred in X is Z, and non fully formed is an attribute of Z |
| (=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female))) |
Mid-level-ontology.kif 26496-26502 | If X is an instance of laying eggs and Y experiences X, then Y is an instance of animal and female is an attribute of Y |
| (<=> (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 | All of the following hold: (1) equal the male to female ratio of X (2) Y if (3) only if equal Z (4) the number of instances in the class described by W (5) equal V (6) the number of instances in the class described by U (7) equal Z (8) V (9) Y |
| (<=> (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 | All of the following hold: (1) X is an instance of the year Y (2) equal the female life expectancy at birth of Z (3) X (4) W if (5) only if there exist V, U,, , T,, , S,, , R (6) Q such that V is an instance of list (7) length of V is an instance of U (8) P P is a member of VP is an instance of T (9) there doesn't exist O such that O is an instance of T (10) O is not a member of V (11) equal U (12) the number of instances in the class described by T (13) W is an average of V |
| 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 | X is an instance of the year Y and equal the children born per woman of Z, X, and the number of instances in the class described by W |
|
|
|