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 17841-17842 | |
(instance Female SexAttribute) | Merge.kif 17840-17840 | Female is an instance of sex attribute |
appearance as argument number 2 |
![]() |
(contraryAttribute Male Female) | Merge.kif 17852-17852 | Male is the opposite of female |
(exhaustiveAttribute SexAttribute Female Male) | Merge.kif 17836-17836 | Female are all the attributes of sex attribute |
(subAttribute QueenConsort Female) | Government.kif 1397-1397 | QueenConsort is a subattribute of female |
(subAttribute QueenRegnant Female) | Government.kif 1393-1393 | QueenRegnant is a subattribute of female |
(termFormat ChineseLanguage Female "女") | domainEnglishFormat.kif 23481-23481 | |
(termFormat ChineseTraditionalLanguage Female "女") | domainEnglishFormat.kif 23480-23480 | |
(termFormat EnglishLanguage Female "female") | domainEnglishFormat.kif 23479-23479 |
antecedent |
![]() |
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 418-449 | The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another 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 225-242 | The male to female ratio of a geopolitical area is equal to a real number if and only if an integer is equal to the number of instances in the class described by a symbolic string and another integer is equal to the number of instances in the class described by another symbolic string and the integer and the other integer is equal to the real number |
(<=> (instance ?COW FemaleCow) (and (instance ?COW Cow) (attribute ?COW Female))) |
Mid-level-ontology.kif 19525-19529 | An object is an instance of female cow if and only if the object is an instance of cow and female is an attribute of the object |
(<=> (instance ?H Hen) (and (instance ?H Chicken) (attribute ?H Female))) |
Mid-level-ontology.kif 19539-19543 | 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 12320-12324 |
|
(=> (and (instance ?BODY ReproductiveBody) (part ?BODY ?ORG) (instance ?ORG Organism)) (attribute ?ORG Female)) |
Merge.kif 17844-17849 |
|
(=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female))) |
Mid-level-ontology.kif 23546-23552 |
|
(=> (and (instance ?M Menstruation) (experiencer ?M ?F)) (and (attribute ?F Female) (not (attribute ?F Menopausal)))) |
Mid-level-ontology.kif 23320-23327 |
|
(=> (attribute ?F Menopausal) (attribute ?F Female)) |
Mid-level-ontology.kif 23374-23376 | |
(=> (attribute ?H Pregnant) (attribute ?H Female)) |
Mid-level-ontology.kif 19167-19169 | |
(=> (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 1221-1232 |
|
(=> (attribute ?X FemaleExecutiveRoom) (hasPurpose ?X (exists (?HUMAN) (and (instance ?HUMAN Human) (attribute ?HUMAN Female) (attribute ?HUMAN BusinessExecutive) (stays ?HUMAN ?X))))) |
Hotel.kif 1020-1028 |
|
(=> (daughter ?CHILD ?PARENT) (attribute ?CHILD Female)) |
Merge.kif 16162-16164 |
|
(=> (instance ?B Birth) (exists (?M ?BABY) (and (attribute ?M Female) (origin ?B ?M) (objectTransferred ?B ?BABY) (attribute ?BABY NonFullyFormed)))) |
Mid-level-ontology.kif 23425-23432 |
|
(=> (instance ?INSECT QueenInsect) (and (attribute ?INSECT Female) (capability Replication agent ?INSECT))) |
Mid-level-ontology.kif 12108-12112 |
|
(=> (instance ?MILK Milk) (exists (?PROCESS ?MAMMAL) (and (instance ?MAMMAL Mammal) (attribute ?MAMMAL Female) (instrument ?PROCESS ?MAMMAL) (result ?PROCESS ?MILK)))) |
Mid-level-ontology.kif 10371-10378 |
|
(=> (instance ?WOMAN Woman) (attribute ?WOMAN Female)) |
Merge.kif 14391-14393 | |
(=> (mother ?CHILD ?MOTHER) (attribute ?MOTHER Female)) |
Merge.kif 16132-16134 |
|
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 469-479 | The children born per woman of a geopolitical area and the year an integer is equal to the number of instances in the class described by a symbolic string |
![]() |
![]() |