| 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 18114-18115 | |
| (instance Female SexAttribute) | Merge.kif 18113-18113 | 例 女 and SexAttribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute Male Female) | Merge.kif 18125-18125 | 相反的屬性 男 and 女 |
| (exhaustiveAttribute SexAttribute Female Male NonBinaryGender) | Merge.kif 18105-18105 | 女 是所有的 SexAttribute 的 attributes |
| (subAttribute QueenConsort Female) | Government.kif 1412-1412 | 子屬性 QueenConsort and 女 |
| (subAttribute QueenRegnant Female) | Government.kif 1408-1408 | 子屬性 QueenRegnant and 女 |
| (termFormat ChineseLanguage Female "女") | domainEnglishFormat.kif 23492-23492 | |
| (termFormat ChineseTraditionalLanguage Female "女") | domainEnglishFormat.kif 23491-23491 | |
| (termFormat EnglishLanguage Female "female") | domainEnglishFormat.kif 23490-23490 |
| antecedent |
|
|
| (=> (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 | |
| (=> (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 | |
| (=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Female)) (mother ?CHILD ?PARENT)) |
Merge.kif 16493-16497 | |
| (=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?AREA)) (attribute ?AGENT Female) (member ?AGENT (ResidentFn ?AREA)) (instance ?ELECTION Election)) (not (capability (VotingFn ?ELECTION) agent ?AGENT))) |
Government.kif 1267-1273 | |
| (=> (holdsDuring ?T1 (and (instance ?H HumanChild) (attribute ?H Female))) (holdsDuring ?T1 (instance ?H Girl))) |
Mid-level-ontology.kif 365-370 |
| 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 | 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 的 female 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例 列表長度 List and Integer 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 | 等於 GeopoliticalArea 的 male 對母性比率 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 女 棲息 SymbolicString and GeopoliticalArea 等於 部 Integer and Integer and RealNumber |
| (<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Female))) |
Mid-level-ontology.kif 20200-20204 | 例 Object and 公牛 例 Object and 牛 attribute Object and 女 |
| (<=> (instance ?H Hen) (and (instance ?H Chicken) (attribute ?H Female))) |
Mid-level-ontology.kif 20232-20236 | 例 Object and 母雞 例 Object and 雞 attribute Object and 女 |
| (=> (and (instance ?B Breast) (part ?B ?H)) (attribute ?B Female)) |
Mid-level-ontology.kif 12859-12863 | |
| (=> (and (instance ?BODY ReproductiveBody) (part ?BODY ?ORG) (instance ?ORG Organism)) (attribute ?ORG Female)) |
Merge.kif 18117-18122 | |
| (=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female))) |
Mid-level-ontology.kif 24131-24137 |
|
| (=> (and (instance ?M Menstruation) (experiencer ?M ?F)) (and (attribute ?F Female) (not (attribute ?F Menopausal)))) |
Mid-level-ontology.kif 23880-23887 |
|
| (=> (attribute ?F Menopausal) (attribute ?F Female)) |
Mid-level-ontology.kif 23934-23936 | |
| (=> (attribute ?H Pregnant) (attribute ?H Female)) |
Mid-level-ontology.kif 19844-19846 | |
| (=> (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 1243-1254 | |
| (=> (attribute ?X FemaleExecutiveRoom) (hasPurpose ?X (exists (?HUMAN) (and (instance ?HUMAN Human) (attribute ?HUMAN Female) (attribute ?HUMAN BusinessExecutive) (stays ?HUMAN ?X))))) |
Hotel.kif 1042-1050 | |
| (=> (daughter ?CHILD ?PARENT) (attribute ?CHILD Female)) |
Merge.kif 16444-16446 | |
| (=> (instance ?B Birth) (exists (?M ?BABY) (and (attribute ?M Female) (origin ?B ?M) (objectTransferred ?B ?BABY) (attribute ?BABY NonFullyFormed)))) |
Mid-level-ontology.kif 24010-24017 | |
| (=> (instance ?INSECT QueenInsect) (and (attribute ?INSECT Female) (capability Replication agent ?INSECT))) |
Mid-level-ontology.kif 12647-12651 | |
| (=> (instance ?MILK Milk) (exists (?PROCESS ?MAMMAL) (and (instance ?MAMMAL Mammal) (attribute ?MAMMAL Female) (instrument ?PROCESS ?MAMMAL) (result ?PROCESS ?MILK)))) |
Mid-level-ontology.kif 10870-10877 | |
| (=> (instance ?WOMAN Woman) (attribute ?WOMAN Female)) |
Merge.kif 14659-14661 | |
| (=> (mother ?CHILD ?MOTHER) (attribute ?MOTHER Female)) |
Merge.kif 16414-16416 |
| 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 | 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 每個女人生的 children and 基數 卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and SymbolicString agent entity and entity 例 entity and Human attribute entity and 女 持有期間 年 and 棲息 entity and GeopoliticalArea |
|
|
|