Female - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Female ChineseLanguage "这是表示一个 Organism 天生是雌性的 Attribute。")	Merge.kif 18524-18524
(documentation Female EnglishLanguage "An Attribute indicating that an Organism is female in nature.")	Merge.kif 18522-18523
(instance Female SexAttribute)	Merge.kif 18521-18521	instance Female and 性別属性

appearance as argument number 2

(contraryAttribute Male Female)	Merge.kif 18534-18534	contraryAttribute Male and Female
(exhaustiveAttribute SexAttribute Female Male)	Merge.kif 18516-18516	exhaustiveAttribute 性別属性, Female and Male
(subAttribute QueenConsort Female)	Government.kif 1372-1372	subAttribute QueenConsort and Female
(subAttribute QueenRegnant Female)	Government.kif 1368-1368	subAttribute QueenRegnant and Female
(termFormat EnglishLanguage Female "female")	domainEnglishFormat.kif 4336-4336	termFormat EnglishLanguage, Female and "female"

antecedent

(=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Female)) (mother ?CHILD ?PARENT))	Merge.kif 16728-16732	parent 物 and 物 attribute 物 and Female mother 物 and 物
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (attribute ?AGENT Female) (instance ?ELECTION Election)) (not (capability (VotingFn ?ELECTION) agent ?AGENT)))	Government.kif 1228-1233	subProposition ExclusiveMaleSuffrage and RegionalLawFn 地政学的地域 attribute オブジェクト and Female instance Election and Election capability VotingFn Election, agent and オブジェクト
(=> (holdsDuring ?T1 (and (instance ?H HumanChild) (attribute ?H Female))) (holdsDuring ?T1 (instance ?H Girl)))	Mid-level-ontology.kif 517-522	holdsDuring 時間位置 and instance エンティティー and HumanChild attribute エンティティー and Female holdsDuring 時間位置 and instance エンティティー and Girl

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 FemaleLifeExpectancyAtBirthFn 地政学的地域 and YearFn 整数 and 実数リスト instance リスト and リスト instance ListLengthFn リスト and 整数リストITEM inList リストITEM and リスト instance リストITEM and 記号文字列エンティティー instance エンティティー and 記号文字列 inList エンティティー and リスト equal 整数 and CardinalityFn KappaFn 記号文字列 and instance エンティティー and 出生 experiencer エンティティー and エンティティー instance エンティティー and 人［人間］ attribute エンティティー and Female during WhenFn エンティティー and YearFn 整数 equal WhereFn エンティティー and WhenFn エンティティー and 地政学的地域 instance エンティティー and 死 experiencer エンティティー and エンティティー holdsDuring WhenFn エンティティー and age エンティティー and MeasureFn 記号文字列 and YearDuration 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 221-238	equal MaleToFemaleRatioFn 地政学的地域 and 実数 equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人［人間］ attribute 記号文字列 and Male inhabits 記号文字列 and 地政学的地域 equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人［人間］ attribute 記号文字列 and Female inhabits 記号文字列 and 地政学的地域 equal DivisionFn 整数 and 整数 and 実数
(<=> (instance ?COW FemaleCow) (and (instance ?COW Cow) (attribute ?COW Female)))	Mid-level-ontology.kif 17959-17963	instance オブジェクト and FemaleCow instance オブジェクト and Cow attribute オブジェクト and Female
(<=> (instance ?H Hen) (and (instance ?H Chicken) (attribute ?H Female)))	Mid-level-ontology.kif 17976-17980	instance オブジェクト and Hen instance オブジェクト and Chicken attribute オブジェクト and Female
(=> (and (instance ?BODY ReproductiveBody) (part ?BODY ?ORG) (instance ?ORG Organism)) (attribute ?ORG Female))	Merge.kif 18526-18531	instance オブジェクト and 生殖体 part オブジェクト and オブジェクト instance オブジェクト and 物 attribute オブジェクト and Female
(=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female)))	Mid-level-ontology.kif 21894-21900	instance 工程 and LayingEggs experiencer 工程 and 代理(人) instance 代理(人) and 動物 attribute 代理(人) and Female
(=> (attribute ?H Pregnant) (attribute ?H Female))	Mid-level-ontology.kif 17601-17603	attribute オブジェクト and Pregnant attribute オブジェクト and Female
(=> (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 1190-1201	attribute オブジェクト and ExclusiveFemaleLevel 物理 instance 物理 and HotelRoom located 物理 and オブジェクト hasPurpose 物理 and エンティティー attribute エンティティー and Female stays エンティティー and 物理
(=> (attribute ?X FemaleExecutiveRoom) (hasPurpose ?X (exists (?HUMAN) (and (instance ?HUMAN Human) (attribute ?HUMAN Female) (attribute ?HUMAN BusinessExecutive) (stays ?HUMAN ?X)))))	Hotel.kif 995-1003	attribute オブジェクト and FemaleExecutiveRoom hasPurpose オブジェクト and エンティティー instance エンティティー and 人［人間］ attribute エンティティー and Female attribute エンティティー and BusinessExecutive stays エンティティー and オブジェクト
(=> (daughter ?CHILD ?PARENT) (attribute ?CHILD Female))	Merge.kif 16675-16677	daughter 物 and 物 attribute 物 and Female
(=> (instance ?INSECT QueenInsect) (and (attribute ?INSECT Female) (capability Replication agent ?INSECT)))	Mid-level-ontology.kif 10328-10332	instance オブジェクト and QueenInsect attribute オブジェクト and Female capability 複製, agent and オブジェクト
(=> (instance ?MILK Milk) (exists (?PROCESS ?MAMMAL) (and (instance ?MAMMAL Mammal) (attribute ?MAMMAL Female) (instrument ?PROCESS ?MAMMAL) (result ?PROCESS ?MILK))))	Mid-level-ontology.kif 9301-9308	instance エンティティー and Milk 工程オブジェクト instance オブジェクト and 哺乳動物 attribute オブジェクト and Female instrument 工程 and オブジェクト result 工程 and エンティティー
(=> (instance ?WOMAN Woman) (attribute ?WOMAN Female))	Merge.kif 14757-14759	instance オブジェクト and Woman attribute オブジェクト and Female
(=> (mother ?CHILD ?MOTHER) (attribute ?MOTHER Female))	Merge.kif 16642-16644	mother 物 and 物 attribute 物 and Female

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

equal ChildrenBornPerWomanFn 地政学的地域 and YearFn 整数 and CardinalityFn KappaFn 記号文字列 and instance エンティティー and 出生 experiencer エンティティー and 記号文字列 agent エンティティー and エンティティー instance エンティティー and 人［人間］ attribute エンティティー and Female holdsDuring YearFn 整数 and inhabits エンティティー and 地政学的地域

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: