| 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 18454-18454 | Female is an instance of sex attribute |
| (documentation Female EnglishLanguage "An Attribute indicating that an Organism is female in nature.") | Merge.kif 18455-18456 | Female is an instance of sex attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Female)) (mother ?CHILD ?PARENT)) |
Merge.kif 16852-16856 | 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 348-353 | 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 |
| (=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?AREA)) (attribute ?AGENT Female) (member ?AGENT (ResidentFn ?AREA)) (instance ?ELECTION Election)) (not (capability (VotingFn ?ELECTION) agent ?AGENT))) |
Government.kif 1238-1244 | 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 173-188 | 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 207-222 | 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 |
| consequent |
|
|
| (=> (instance ?WOMAN Woman) (attribute ?WOMAN Female)) |
Merge.kif 14971-14973 | If X is an instance of woman, then female is an attribute of X |
| (=> (mother ?CHILD ?MOTHER) (attribute ?MOTHER Female)) |
Merge.kif 16773-16775 | If X is a mother of Y, then female is an attribute of X |
| (=> (daughter ?CHILD ?PARENT) (attribute ?CHILD Female)) |
Merge.kif 16803-16805 | 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 18458-18463 | 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 12297-12304 | 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 14235-14239 | 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 14447-14451 | 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 21733-21735 | 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 22420-22424 | 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 22452-22456 | 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 26136-26143 | 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 26190-26192 | 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 26264-26271 | 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 26385-26391 | 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 |
| (=> (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 |
| (=> (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 240-257 | If equal the male to female ratio of X and Y, then equal Z and the number of instances in the class described by W, equal V and the number of instances in the class described by U, and equal Z, V, and 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 437-470 | If X is an instance of the year Y and equal the female life expectancy at birth of Z, X, and W, then All of the following hold: (1) there exist V, U,, , T,, , S,, , R (2) Q such that V is an instance of list (3) length of V is an instance of U (4) P P is a member of VP is an instance of T (5) there doesn't exist O such that O is an instance of T (6) O is not a member of V (7) equal U (8) the number of instances in the class described by T (9) 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 490-503 | 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 |
|
|
|