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 |
![]() |
(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 18301-18302 | |
(instance Female SexAttribute) | Merge.kif 18300-18300 | Female is an instance of sex attribute |
appearance as argument number 2 |
![]() |
(contraryAttribute Male Female) | Merge.kif 18312-18312 | Male is the opposite of female |
(exhaustiveAttribute SexAttribute Female Male NonBinaryGender) | Merge.kif 18291-18291 | Female are all the attributes of sex attribute |
(subAttribute QueenConsort Female) | Government.kif 1374-1374 | Queen consort is a subattribute of female |
(subAttribute QueenRegnant Female) | Government.kif 1370-1370 | Queen regnant is a subattribute of female |
(termFormat ChineseLanguage Female "女") | domainEnglishFormat.kif 23495-23495 | Queen regnant is a subattribute of female |
(termFormat ChineseTraditionalLanguage Female "女") | domainEnglishFormat.kif 23494-23494 | Queen regnant is a subattribute of female |
(termFormat EnglishLanguage Female "female") | domainEnglishFormat.kif 23493-23493 | Queen regnant is a subattribute of female |
antecedent |
![]() |
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 the female life expectancy at birth of 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
|
(<=> (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 the male to female ratio of a geopolitical area and a real number if and only if equal an integer and the number of instances in the class described by a symbolic string and equal another integer and the number of instances in the class described by another symbolic string and equal the integer and the other integer and the real number |
(<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Female))) |
Mid-level-ontology.kif 21817-21821 | 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 21849-21853 | 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 14190-14194 |
|
(=> (and (instance ?BODY ReproductiveBody) (part ?BODY ?ORG) (instance ?ORG Organism)) (attribute ?ORG Female)) |
Merge.kif 18304-18309 |
|
(=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female))) |
Mid-level-ontology.kif 25777-25783 |
|
(=> (and (instance ?M Menstruation) (experiencer ?M ?F)) (and (attribute ?F Female) (not (attribute ?F Menopausal)))) |
Mid-level-ontology.kif 25526-25533 |
|
(=> (attribute ?F Menopausal) (attribute ?F Female)) |
Mid-level-ontology.kif 25580-25582 | |
(=> (attribute ?H Pregnant) (attribute ?H Female)) |
Mid-level-ontology.kif 21431-21433 | |
(=> (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 |
|
(=> (attribute ?X FemaleExecutiveRoom) (hasPurpose ?X (exists (?HUMAN) (and (instance ?HUMAN Human) (attribute ?HUMAN Female) (attribute ?HUMAN BusinessExecutive) (stays ?HUMAN ?X))))) |
Hotel.kif 1050-1058 |
|
(=> (daughter ?CHILD ?PARENT) (attribute ?CHILD Female)) |
Merge.kif 16619-16621 |
|
(=> (instance ?B Birth) (exists (?M ?BABY) (and (attribute ?M Female) (origin ?B ?M) (objectTransferred ?B ?BABY) (attribute ?BABY NonFullyFormed)))) |
Mid-level-ontology.kif 25656-25663 |
|
(=> (instance ?INSECT QueenInsect) (and (attribute ?INSECT Female) (capability Replication agent ?INSECT))) |
Mid-level-ontology.kif 13978-13982 |
|
(=> (instance ?MILK Milk) (exists (?PROCESS ?MAMMAL) (and (instance ?MAMMAL Mammal) (attribute ?MAMMAL Female) (instrument ?PROCESS ?MAMMAL) (result ?PROCESS ?MILK)))) |
Mid-level-ontology.kif 12201-12208 |
|
(=> (instance ?WOMAN Woman) (attribute ?WOMAN Female)) |
Merge.kif 14812-14814 | |
(=> (mother ?CHILD ?MOTHER) (attribute ?MOTHER Female)) |
Merge.kif 16589-16591 |
|
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 the children born per woman of a geopolitical area and the year and the number of instances in the class described by a symbolic string |
![]() |
![]() |