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 | Female は 性別属性 の instance では %n |
appearance as argument number 2 |
(contraryAttribute Male Female) | Merge.kif 18125-18125 | Male は Female の disjoint では %n |
(exhaustiveAttribute SexAttribute Female Male NonBinaryGender) | Merge.kif 18105-18105 | exhaustiveAttribute 性別属性, Female, Male and NonBinaryGender |
(subAttribute QueenConsort Female) | Government.kif 1412-1412 | QueenConsort は Female の subattribute では %n |
(subAttribute QueenRegnant Female) | Government.kif 1408-1408 | QueenRegnant は Female の subattribute では %n |
(termFormat ChineseLanguage Female "女") | domainEnglishFormat.kif 23492-23492 | |
(termFormat ChineseTraditionalLanguage Female "女") | domainEnglishFormat.kif 23491-23491 | |
(termFormat EnglishLanguage Female "female") | domainEnglishFormat.kif 23490-23490 |
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 | 年 は 整数 year 目 の instance では %n FemaleLifeExpectancyAtBirthFn 地政学的地域 and 年 は 実数 と equal では %n リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リスト は リスト の instance では %n リスト の length は 整数 の instance では %n リストITEM
|
(<=> (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 | MaleToFemaleRatioFn 地政学的地域 は 実数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n 整数 + 整数 は 実数 と equal では %n |
(<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Female))) |
Mid-level-ontology.kif 20200-20204 | オブジェクト は Bull の instance では %n オブジェクト は Cattle の instance では %n Female は オブジェクト の attribute では %n |
(<=> (instance ?H Hen) (and (instance ?H Chicken) (attribute ?H Female))) |
Mid-level-ontology.kif 20232-20236 | オブジェクト は Hen の instance では %n オブジェクト は Chicken の instance では %n Female は オブジェクト の attribute では %n |
(=> (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 | 年 は 整数 year 目 の instance では %n ChildrenBornPerWomanFn 地政学的地域 and 年 は エンティティー class の instances の数 と equal では %n |