TreeView 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 18136-18137
(instance Female SexAttribute)	Merge.kif 18135-18135	女是性别属性的 instance

appearance as argument number 2

(contraryAttribute Male Female)	Merge.kif 18147-18147	男是女的相反
(exhaustiveAttribute SexAttribute Female Male NonBinaryGender)	Merge.kif 18127-18127	女是所有的性别属性的 attributes
(subAttribute QueenConsort Female)	Government.kif 1412-1412	QueenConsort 是女的 subAttribute
(subAttribute QueenRegnant Female)	Government.kif 1408-1408	QueenRegnant 是女的 subAttribute
(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	如果 Anemia 是客体的 attribute 和另一个客体是血液的 instance 和那个另外客体是那个客体的 part 和女是那个客体的 attribute 和那个另外客体的 measure 是 0.1 升和那个客体E 是 Hemoglobin 的 instance 和那个客体E 是那个另外客体的 part 和那个客体E2 不是 Hemoglobin 的 instance 和那个客体E 不 equal 那个客体E2 和那个客体2 是那个另外客体的 part 和那个客体E 的 measure 是实数公克，然后那个实数是 lessThan 12
(=> (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 和女是那个客体的 attribute 和那个另外客体的 measure 是 0.1 升和那个客体E 是 Hemoglobin 的 instance 和那个客体E 是那个另外客体的 part 和那个客体E2 不是 Hemoglobin 的 instance 和那个客体E 不 equal 那个客体E2 和那个客体2 是那个另外客体的 part 和那个客体E 的 measure 是实数公克，然后那个实数是 greaterThan 12
(=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Female)) (mother ?CHILD ?PARENT))	Merge.kif 16515-16519	如果生物是另一个生物的 parent 和女是那个生物的 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 1267-1273	如果独家男性选举权是地缘政治区域的 regional 法律的 subProposition 和女是客体的 attribute 和那个客体是那个地缘政治区域的 resident 的 member 和选举是选举的 instance，然后那个客体不能够担当主事的角色做那个选举的 voting
(=> (holdsDuring ?T1 (and (instance ?H HumanChild) (attribute ?H Female))) (holdsDuring ?T1 (instance ?H Girl)))	Mid-level-ontology.kif 365-370	如果实体是人类的孩子的 instance 和女是那个实体的 attribute 在时间位置 holdsDuring，然后那个实体是女孩的 instance 在那个时间位置 holdsDuring

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 和地缘政治区域和那个年的 female 出生预期寿命 equal 实数若且唯若有存在串列，另一个整数,，，符号串,，，实体,，，另一个实体， and 和第三实体这样那个串列是串列的 instance 和那个串列的长度是那个另外整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是那个符号串的 instance 和不存在第五实体这样那个第五实体是那个符号串的 instance 和那个第五实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
(<=> (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	地缘政治区域的 male 对母性比率 equal 实数若且唯若整数 equal 符号串所描述的类别 instance 的数量和另一个整数 equal 另一个符号串所描述的类别 instance 的数量和那个整数和那个另外整数 equal 那个实数
(<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Female)))	Mid-level-ontology.kif 20199-20203	客体是公牛的 instance 若且唯若那个客体是牛的 instance 和女是那个客体的 attribute
(<=> (instance ?H Hen) (and (instance ?H Chicken) (attribute ?H Female)))	Mid-level-ontology.kif 20231-20235	客体是母鸡的 instance 若且唯若那个客体是鸡的 instance 和女是那个客体的 attribute
(=> (and (instance ?B Breast) (part ?B ?H)) (attribute ?B Female))	Mid-level-ontology.kif 12858-12862	如果客体是乳房的 instance 和那个客体是另一个客体的 part，然后女是那个客体的 attribute
(=> (and (instance ?BODY ReproductiveBody) (part ?BODY ?ORG) (instance ?ORG Organism)) (attribute ?ORG Female))	Merge.kif 18139-18144	如果客体是繁殖体的 instance 和那个客体是另一个客体的 part 和那个另外客体是生物的 instance，然后女是那个另外客体的 attribute
(=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female)))	Mid-level-ontology.kif 24130-24136	如果过程是下蛋的 instance 和施事体经历了那个过程，然后那个施事体是动物的 instance 和女是那个施事体的 attribute
(=> (and (instance ?M Menstruation) (experiencer ?M ?F)) (and (attribute ?F Female) (not (attribute ?F Menopausal))))	Mid-level-ontology.kif 23879-23886	如果过程是经期的 instance 和施事体经历了那个过程，然后女是那个施事体的 attribute 和 Menopausal 不是那个施事体的 attribute
(=> (attribute ?F Menopausal) (attribute ?F Female))	Mid-level-ontology.kif 23933-23935	如果 Menopausal 是客体的 attribute，然后女是那个客体的 attribute
(=> (attribute ?H Pregnant) (attribute ?H Female))	Mid-level-ontology.kif 19843-19845	如果孕是客体的 attribute，然后女是那个客体的 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 1243-1254	如果 ExclusiveFemaleLevel 是客体的 attribute，然后对所有物理如果那个物理是 HotelRoom 的 instance 和那个物理是 located 在那个客体，然后那个物理的目的是有存在实体这样女是那个实体的 attribute 和那个实体 stays 在那个物理
(=> (attribute ?X FemaleExecutiveRoom) (hasPurpose ?X (exists (?HUMAN) (and (instance ?HUMAN Human) (attribute ?HUMAN Female) (attribute ?HUMAN BusinessExecutive) (stays ?HUMAN ?X)))))	Hotel.kif 1042-1050	如果 FemaleExecutiveRoom 是客体的 attribute，然后那个客体的目的是有存在实体这样那个实体是人类的 instance 和女是那个实体的 attribute 和 BusinessExecutive 是那个实体的 attribute 和那个实体 stays 在那个客体
(=> (daughter ?CHILD ?PARENT) (attribute ?CHILD Female))	Merge.kif 16466-16468	如果生物是另一个生物的 daughter ，然后女是那个生物的 attribute
(=> (instance ?B Birth) (exists (?M ?BABY) (and (attribute ?M Female) (origin ?B ?M) (objectTransferred ?B ?BABY) (attribute ?BABY NonFullyFormed))))	Mid-level-ontology.kif 24009-24016	如果转移是出生的 instance，然后有存在客体和那个转移ABY 这样女是那个客体的 attribute 和那个客体是那个转移的源头和 objectTransferred 那个转移 and 那个转移ABY 和没有完全形成是那个转移ABY 的 attribute
(=> (instance ?INSECT QueenInsect) (and (attribute ?INSECT Female) (capability Replication agent ?INSECT)))	Mid-level-ontology.kif 12646-12650	如果客体是女王昆虫的 instance，然后女是那个客体的 attribute 和那个客体能够担当主事的角色做复制
(=> (instance ?MILK Milk) (exists (?PROCESS ?MAMMAL) (and (instance ?MAMMAL Mammal) (attribute ?MAMMAL Female) (instrument ?PROCESS ?MAMMAL) (result ?PROCESS ?MILK))))	Mid-level-ontology.kif 10869-10876	如果实体是乳的 instance，然后有存在过程和客体这样那个客体是哺乳动物的 instance 和女是那个客体的 attribute 和那个客体是导致那个过程的 instrument 和那个实体是那个过程的 result
(=> (instance ?WOMAN Woman) (attribute ?WOMAN Female))	Merge.kif 14681-14683	如果客体是女人的 instance，然后女是那个客体的 attribute
(=> (mother ?CHILD ?MOTHER) (attribute ?MOTHER Female))	Merge.kif 16436-16438	如果生物是另一个生物的 mother，然后女是那个生物的 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 和地缘政治区域和那个年每个女人生的 children equal 符号串所描述的类别 instance 的数量

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

Show without tree

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: