| Female | |
| 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 16847-16848 | |
| (instance Female SexAttribute) | Merge.kif 16846-16846 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Male Female) | Merge.kif 16858-16858 | |
| (exhaustiveAttribute SexAttribute Female Male) | Merge.kif 16842-16842 | |
| (subAttribute QueenConsort Female) | Government.kif 1398-1398 | |
| (subAttribute QueenRegnant Female) | Government.kif 1394-1394 | |
| (termFormat ChineseLanguage Female "女") | domainEnglishFormat.kif 23481-23481 | |
| (termFormat ChineseTraditionalLanguage Female "女") | domainEnglishFormat.kif 23480-23480 | |
| (termFormat EnglishLanguage Female "female") | domainEnglishFormat.kif 23479-23479 |
| antecedent |
|
|
| (=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Female)) (mother ?CHILD ?PARENT)) |
Merge.kif 15369-15373 | |
| (=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?AREA)) (attribute ?AGENT Female) (member ?AGENT (ResidentFn ?AREA)) (instance ?ELECTION Election)) (not (capability (VotingFn ?ELECTION) agent ?AGENT))) |
Government.kif 1253-1259 | |
| (=> (holdsDuring ?T1 (and (instance ?H HumanChild) (attribute ?H Female))) (holdsDuring ?T1 (instance ?H Girl))) |
Mid-level-ontology.kif 343-348 |
| 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 411-442 | |
| (<=> (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 221-238 | |
| (<=> (instance ?COW FemaleCow) (and (instance ?COW Cow) (attribute ?COW Female))) |
Mid-level-ontology.kif 16713-16717 | |
| (<=> (instance ?H Hen) (and (instance ?H Chicken) (attribute ?H Female))) |
Mid-level-ontology.kif 16727-16731 | |
| (=> (and (instance ?BODY ReproductiveBody) (part ?BODY ?ORG) (instance ?ORG Organism)) (attribute ?ORG Female)) |
Merge.kif 16850-16855 | |
| (=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female))) |
Mid-level-ontology.kif 20432-20438 | |
| (=> (attribute ?H Pregnant) (attribute ?H Female)) |
Mid-level-ontology.kif 16355-16357 | |
| (=> (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 1208-1219 | |
| (=> (attribute ?X FemaleExecutiveRoom) (hasPurpose ?X (exists (?HUMAN) (and (instance ?HUMAN Human) (attribute ?HUMAN Female) (attribute ?HUMAN BusinessExecutive) (stays ?HUMAN ?X))))) |
Hotel.kif 1007-1015 | |
| (=> (daughter ?CHILD ?PARENT) (attribute ?CHILD Female)) |
Merge.kif 15320-15322 | |
| (=> (instance ?INSECT QueenInsect) (and (attribute ?INSECT Female) (capability Replication agent ?INSECT))) |
Mid-level-ontology.kif 9480-9484 | |
| (=> (instance ?MILK Milk) (exists (?PROCESS ?MAMMAL) (and (instance ?MAMMAL Mammal) (attribute ?MAMMAL Female) (instrument ?PROCESS ?MAMMAL) (result ?PROCESS ?MILK)))) |
Mid-level-ontology.kif 8441-8448 | |
| (=> (instance ?WOMAN Woman) (attribute ?WOMAN Female)) |
Merge.kif 13650-13652 | |
| (=> (mother ?CHILD ?MOTHER) (attribute ?MOTHER Female)) |
Merge.kif 15290-15292 |
| 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 462-472 |
|
|
|