Female - Sigma Knowledge base Browser

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 は性別属性の instance では

appearance as argument number 2

(contraryAttribute Male Female)	Merge.kif 18312-18312	Male は Female の disjoint では
(exhaustiveAttribute SexAttribute Female Male NonBinaryGender)	Merge.kif 18291-18291	exhaustiveAttribute 性別属性, Female, Male and NonBinaryGender
(subAttribute QueenConsort Female)	Government.kif 1374-1374	QueenConsort は Female の subattribute では
(subAttribute QueenRegnant Female)	Government.kif 1370-1370	QueenRegnant は Female の subattribute では
(termFormat ChineseLanguage Female "女")	domainEnglishFormat.kif 23495-23495	QueenRegnant は Female の subattribute では
(termFormat ChineseTraditionalLanguage Female "女")	domainEnglishFormat.kif 23494-23494	QueenRegnant は Female の subattribute では
(termFormat EnglishLanguage Female "female")	domainEnglishFormat.kif 23493-23493	QueenRegnant は Female の subattribute では

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	Anemia はオブジェクトの attribute ではオブジェクトは血の instance ではオブジェクトはオブジェクトの part では Female はオブジェクトの attribute ではオブジェクトの measure は 0.1 の Liter(s) ではオブジェクトE は Hemoglobin の instance ではオブジェクトE はオブジェクトの part ではオブジェクトE2 は Hemoglobin の instance では equal オブジェクトE and オブジェクトE2 オブジェクト2 はオブジェクトの part ではオブジェクトE の measure は実数の Gram(s) では実数は 12 より less では
(=> (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	Anemia はオブジェクトの attribute ではオブジェクトは血の instance ではオブジェクトはオブジェクトの part では Female はオブジェクトの attribute ではオブジェクトの measure は 0.1 の Liter(s) ではオブジェクトE は Hemoglobin の instance ではオブジェクトE はオブジェクトの part ではオブジェクトE2 は Hemoglobin の instance では equal オブジェクトE and オブジェクトE2 オブジェクト2 はオブジェクトの part ではオブジェクトE の measure は実数の Gram(s) では実数は 12 より greater では
(=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Female)) (mother ?CHILD ?PARENT))	Merge.kif 16668-16672	物は物の parent では Female は物の attribute では物は物の mother では
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?AREA)) (attribute ?AGENT Female) (member ?AGENT (ResidentFn ?AREA)) (instance ?ELECTION Election)) (not (capability (VotingFn ?ELECTION) agent ?AGENT)))	Government.kif 1229-1235	ExclusiveMaleSuffrage は RegionalLawFn 地政学的地域の sub-proposition では Female はオブジェクトの attribute ではオブジェクトは ResidentFn 地政学的地域の member では Election は Election の instance ではオブジェクトは VotingFn Election を agent として行う capable では
(=> (holdsDuring ?T1 (and (instance ?H HumanChild) (attribute ?H Female))) (holdsDuring ?T1 (instance ?H Girl)))	Mid-level-ontology.kif 358-363	エンティティーは HumanChild の instance では Female はエンティティーの attribute ではは時間位置の during holds エンティティーは Girl の instance ではは時間位置の during holds

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 では equal FemaleLifeExpectancyAtBirthFn 地政学的地域 and 年 and 実数リスト整数, 記号文字列, エンティティー, エンティティー and エンティティーリストはリストの instance ではリストの length は整数の instance ではリストITEM リストITEM はリストの member ではリストITEM は記号文字列の instance ではエンティティーエンティティーは記号文字列の instance ではエンティティーはリストの member では equal 整数 and 記号文字列で記述される class の instances の数 average リスト and 実数
(<=> (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 MaleToFemaleRatioFn 地政学的地域 and 実数 equal 整数 and エンティティー class の instances の数 equal 整数 and エンティティー class の instances の数 equal 整数 + 整数 and 実数
(<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Female)))	Mid-level-ontology.kif 21817-21821	オブジェクトは Bull の instance ではオブジェクトは Cattle の instance では Female はオブジェクトの attribute では
(<=> (instance ?H Hen) (and (instance ?H Chicken) (attribute ?H Female)))	Mid-level-ontology.kif 21849-21853	オブジェクトは Hen の instance ではオブジェクトは Chicken の instance では Female はオブジェクトの attribute では
(=> (and (instance ?B Breast) (part ?B ?H)) (attribute ?B Female))	Mid-level-ontology.kif 14190-14194	オブジェクトは Breast の instance ではオブジェクトはオブジェクトの part では Female はオブジェクトの attribute では
(=> (and (instance ?BODY ReproductiveBody) (part ?BODY ?ORG) (instance ?ORG Organism)) (attribute ?ORG Female))	Merge.kif 18304-18309	オブジェクトは生殖体の instance ではオブジェクトはオブジェクトの part ではオブジェクトは物の instance では Female はオブジェクトの attribute では
(=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female)))	Mid-level-ontology.kif 25777-25783	工程は LayingEggs の instance では AutonomousAgent が工程を experiences AutonomousAgent は動物の instance では Female は AutonomousAgent の attribute では
(=> (and (instance ?M Menstruation) (experiencer ?M ?F)) (and (attribute ?F Female) (not (attribute ?F Menopausal))))	Mid-level-ontology.kif 25526-25533	工程は Menstruation の instance では AutonomousAgent が工程を experiences Female は AutonomousAgent の attribute では Menopausal は AutonomousAgent の attribute では
(=> (attribute ?F Menopausal) (attribute ?F Female))	Mid-level-ontology.kif 25580-25582	Menopausal はオブジェクトの attribute では Female はオブジェクトの attribute では
(=> (attribute ?H Pregnant) (attribute ?H Female))	Mid-level-ontology.kif 21431-21433	Pregnant はオブジェクトの attribute では Female はオブジェクトの attribute では
(=> (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	ExclusiveFemaleLevel はオブジェクトの attribute では物理物理は HotelRoom の instance では物理はオブジェクトに located して物理はエンティティー Female はエンティティーの attribute では stays エンティティー and 物理の目的
(=> (attribute ?X FemaleExecutiveRoom) (hasPurpose ?X (exists (?HUMAN) (and (instance ?HUMAN Human) (attribute ?HUMAN Female) (attribute ?HUMAN BusinessExecutive) (stays ?HUMAN ?X)))))	Hotel.kif 1050-1058	FemaleExecutiveRoom はオブジェクトの attribute ではオブジェクトはエンティティーエンティティーは人［人間］の instance では Female はエンティティーの attribute では BusinessExecutive はエンティティーの attribute では stays エンティティー and オブジェクトの目的
(=> (daughter ?CHILD ?PARENT) (attribute ?CHILD Female))	Merge.kif 16619-16621	daughter 物 and 物 Female は物の attribute では
(=> (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 ではオブジェクト移動ABY Female はオブジェクトの attribute では移動はオブジェクトから originates objectTransferred 移動 and 移動ABY NonFullyFormed は移動ABY の attribute では
(=> (instance ?INSECT QueenInsect) (and (attribute ?INSECT Female) (capability Replication agent ?INSECT)))	Mid-level-ontology.kif 13978-13982	オブジェクトは QueenInsect の instance では Female はオブジェクトの attribute ではオブジェクトは複製を agent として行う capable では
(=> (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	エンティティーは Milk の instance では工程オブジェクトオブジェクトは哺乳動物の instance では Female はオブジェクトの attribute ではオブジェクトは工程の instrument ではエンティティーは工程の result では
(=> (instance ?WOMAN Woman) (attribute ?WOMAN Female))	Merge.kif 14812-14814	オブジェクトは Woman の instance では Female はオブジェクトの attribute では
(=> (mother ?CHILD ?MOTHER) (attribute ?MOTHER Female))	Merge.kif 16589-16591	物は物の mother では Female は物の attribute では

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 では equal ChildrenBornPerWomanFn 地政学的地域 and 年 and エンティティー class の instances の数

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: