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 17841-17842
(instance Female SexAttribute)	Merge.kif 17840-17840	instance Female and SexAttribute

appearance as argument number 2

(contraryAttribute Male Female)	Merge.kif 17852-17852	contraryAttribute Male and Female
(exhaustiveAttribute SexAttribute Female Male)	Merge.kif 17836-17836	exhaustiveAttribute SexAttribute, Female and Male
(subAttribute QueenConsort Female)	Government.kif 1397-1397	subAttribute QueenConsort and Female
(subAttribute QueenRegnant Female)	Government.kif 1393-1393	subAttribute QueenRegnant and Female
(termFormat ChineseLanguage Female "女")	domainEnglishFormat.kif 23481-23481
(termFormat ChineseTraditionalLanguage Female "女")	domainEnglishFormat.kif 23480-23480
(termFormat EnglishLanguage Female "female")	domainEnglishFormat.kif 23479-23479

antecedent

(=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Female)) (mother ?CHILD ?PARENT))	Merge.kif 16211-16215	parent Organism and Organism attribute Organism and Female mother Organism and Organism
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?AREA)) (attribute ?AGENT Female) (member ?AGENT (ResidentFn ?AREA)) (instance ?ELECTION Election)) (not (capability (VotingFn ?ELECTION) agent ?AGENT)))	Government.kif 1252-1258	subProposition ExclusiveMaleSuffrage and RegionalLawFn GeopoliticalArea attribute Object and Female member Object and ResidentFn GeopoliticalArea instance Election and Election capability VotingFn Election, agent and Object
(=> (holdsDuring ?T1 (and (instance ?H HumanChild) (attribute ?H Female))) (holdsDuring ?T1 (instance ?H Girl)))	Mid-level-ontology.kif 358-363	holdsDuring TimePosition and instance entity and HumanChild attribute entity and Female holdsDuring TimePosition and instance entity 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 418-449	equal FemaleLifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human attribute entity and Female during WhenFn entity and YearFn Integer equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(<=> (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 225-242	equal MaleToFemaleRatioFn GeopoliticalArea and RealNumber equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human attribute SymbolicString and Male inhabits SymbolicString and GeopoliticalArea equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human attribute SymbolicString and Female inhabits SymbolicString and GeopoliticalArea equal DivisionFn Integer and Integer and RealNumber
(<=> (instance ?COW FemaleCow) (and (instance ?COW Cow) (attribute ?COW Female)))	Mid-level-ontology.kif 19525-19529	instance Object and FemaleCow instance Object and Cow attribute Object and Female
(<=> (instance ?H Hen) (and (instance ?H Chicken) (attribute ?H Female)))	Mid-level-ontology.kif 19539-19543	instance Object and Hen instance Object and Chicken attribute Object and Female
(=> (and (instance ?B Breast) (part ?B ?H)) (attribute ?B Female))	Mid-level-ontology.kif 12320-12324	instance Object and Breast part Object and Object attribute Object and Female
(=> (and (instance ?BODY ReproductiveBody) (part ?BODY ?ORG) (instance ?ORG Organism)) (attribute ?ORG Female))	Merge.kif 17844-17849	instance Object and ReproductiveBody part Object and Object instance Object and Organism attribute Object and Female
(=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female)))	Mid-level-ontology.kif 23546-23552	instance Process and LayingEggs experiencer Process and Agent instance Agent and Animal attribute Agent and Female
(=> (and (instance ?M Menstruation) (experiencer ?M ?F)) (and (attribute ?F Female) (not (attribute ?F Menopausal))))	Mid-level-ontology.kif 23320-23327	instance Process and Menstruation experiencer Process and Agent attribute Agent and Female attribute Agent and Menopausal
(=> (attribute ?F Menopausal) (attribute ?F Female))	Mid-level-ontology.kif 23374-23376	attribute Object and Menopausal attribute Object and Female
(=> (attribute ?H Pregnant) (attribute ?H Female))	Mid-level-ontology.kif 19167-19169	attribute Object and Pregnant attribute Object 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 1221-1232	attribute Object and ExclusiveFemaleLevel Physical instance Physical and HotelRoom located Physical and Object hasPurpose Physical and entity attribute entity and Female stays entity and Physical
(=> (attribute ?X FemaleExecutiveRoom) (hasPurpose ?X (exists (?HUMAN) (and (instance ?HUMAN Human) (attribute ?HUMAN Female) (attribute ?HUMAN BusinessExecutive) (stays ?HUMAN ?X)))))	Hotel.kif 1020-1028	attribute Object and FemaleExecutiveRoom hasPurpose Object and entity instance entity and Human attribute entity and Female attribute entity and BusinessExecutive stays entity and Object
(=> (daughter ?CHILD ?PARENT) (attribute ?CHILD Female))	Merge.kif 16162-16164	daughter Organism and Organism attribute Organism and Female
(=> (instance ?B Birth) (exists (?M ?BABY) (and (attribute ?M Female) (origin ?B ?M) (objectTransferred ?B ?BABY) (attribute ?BABY NonFullyFormed))))	Mid-level-ontology.kif 23425-23432	instance Transfer and Birth Object TransferABY attribute Object and Female origin Transfer and Object objectTransferred Transfer and TransferABY attribute TransferABY and NonFullyFormed
(=> (instance ?INSECT QueenInsect) (and (attribute ?INSECT Female) (capability Replication agent ?INSECT)))	Mid-level-ontology.kif 12108-12112	instance Object and QueenInsect attribute Object and Female capability Replication, agent and Object
(=> (instance ?MILK Milk) (exists (?PROCESS ?MAMMAL) (and (instance ?MAMMAL Mammal) (attribute ?MAMMAL Female) (instrument ?PROCESS ?MAMMAL) (result ?PROCESS ?MILK))))	Mid-level-ontology.kif 10371-10378	instance Entity and Milk Process Object instance Object and Mammal attribute Object and Female instrument Process and Object result Process and Entity
(=> (instance ?WOMAN Woman) (attribute ?WOMAN Female))	Merge.kif 14391-14393	instance Object and Woman attribute Object and Female
(=> (mother ?CHILD ?MOTHER) (attribute ?MOTHER Female))	Merge.kif 16132-16134	mother Organism and Organism attribute Organism 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 469-479

equal ChildrenBornPerWomanFn GeopoliticalArea and YearFn Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and SymbolicString agent entity and entity instance entity and Human attribute entity and Female holdsDuring YearFn Integer and inhabits entity and GeopoliticalArea

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: