Female - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__Female,s__ChineseLanguage,'"这是表示一个 Organism 天生是雌性的 Attribute。"')

chinese_format.kif 4018-4018

s__documentation(s__Female,s__EnglishLanguage,'"An Attribute indicating that an Organism is female in nature."')

Merge.kif 17406-17407

s__instance(s__Female,s__SexAttribute)

s__instance(s__SexAttribute,s__Class)

Merge.kif 17405-17405

Female is an instance of sex attribute

appearance as argument number 2

s__contraryAttribute__2(s__Male,s__Female)	Merge.kif 17417-17417	Male is the opposite of female
s__exhaustiveAttribute__3(s__SexAttribute,s__Female,s__Male)	Merge.kif 17401-17401	Female are all the attributes of sex attribute
s__subAttribute(s__QueenConsort,s__Female)	Government.kif 1398-1398	QueenConsort is a subattribute of female
s__subAttribute(s__QueenRegnant,s__Female)	Government.kif 1394-1394	QueenRegnant is a subattribute of female
s__termFormat(s__ChineseLanguage,s__Female,'"女"')	domainEnglishFormat.kif 23481-23481
s__termFormat(s__ChineseTraditionalLanguage,s__Female,'"女"')	domainEnglishFormat.kif 23480-23480
s__termFormat(s__EnglishLanguage,s__Female,'"female"')	domainEnglishFormat.kif 23479-23479

antecedent

( ! [V__CHILD,V__PARENT] : (((s__instance(V__CHILD,s__Organism) & s__instance(V__PARENT,s__Organism)) => (((s__parent(V__CHILD,V__PARENT) & s__attribute(V__PARENT,s__Female)) => (s__mother(V__CHILD,V__PARENT))))) ) )	Merge.kif 15834-15838	If an organism is a parent of another organism and female is an attribute of the organism, then the organism is a mother of the other organism
( ! [V__AGENT,V__AREA,V__ELECTION] : (((s__instance(V__AGENT,s__Object) & s__instance(V__AREA,s__GeopoliticalArea)) => (((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__AREA)) & s__attribute(V__AGENT,s__Female) & s__member(V__AGENT,s__ResidentFn(V__AREA)) & s__instance(V__ELECTION,s__Election)) => (~(s__capability(s__VotingFn(V__ELECTION) ,s__agent__m,V__AGENT)))))) ) )	Government.kif 1253-1259	If exclusive male suffrage is a sub-proposition of the regional law of a geopolitical area and female is an attribute of an object and the object is a member of the resident of the geopolitical area and an election is an instance of election, then the object is not capable of doing the voting of the election as a agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 343-348	If an entity is an instance of human child and female is an attribute of the entity holds during a time position, then the entity is an instance of girl holds during the time position

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 415-446	The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 225-242	The male to female ratio of a geopolitical area is equal to a real number if and only if an integer is equal to the number of instances in the class described by a symbolic string and another integer is equal to the number of instances in the class described by another symbolic string and the integer and the other integer is equal to the real number
( ! [V__COW] : (((s__instance(V__COW,s__FemaleCow) => (s__instance(V__COW,s__Cow) & s__attribute(V__COW,s__Female))) & ((s__instance(V__COW,s__Cow) & s__attribute(V__COW,s__Female)) => s__instance(V__COW,s__FemaleCow))) ) )	Mid-level-ontology.kif 19380-19384	An object is an instance of female cow if and only if the object is an instance of cow and female is an attribute of the object
( ! [V__H] : (((s__instance(V__H,s__Hen) => (s__instance(V__H,s__Chicken) & s__attribute(V__H,s__Female))) & ((s__instance(V__H,s__Chicken) & s__attribute(V__H,s__Female)) => s__instance(V__H,s__Hen))) ) )	Mid-level-ontology.kif 19394-19398	An object is an instance of hen if and only if the object is an instance of chicken and female is an attribute of the object
( ! [V__B,V__H] : ((s__instance(V__H,s__Object) => (((s__instance(V__B,s__Breast) & s__part(V__B,V__H)) => (s__attribute(V__B,s__Female))))) ) )	Mid-level-ontology.kif 12191-12195	If an object is an instance of breast and the object is a part of another object, then female is an attribute of the object
( ! [V__BODY,V__ORG] : (((s__instance(V__BODY,s__ReproductiveBody) & s__part(V__BODY,V__ORG) & s__instance(V__ORG,s__Organism)) => (s__attribute(V__ORG,s__Female))) ) )	Merge.kif 17409-17414	If an object is an instance of reproductive body and the object is a part of another object and the other object is an instance of organism, then female is an attribute of the other object
( ! [V__A,V__L] : ((s__instance(V__A,s__Agent) => (((s__instance(V__L,s__LayingEggs) & s__experiencer(V__L,V__A)) => ((s__instance(V__A,s__Animal) & s__attribute(V__A,s__Female)))))) ) )	Mid-level-ontology.kif 23400-23406	If a process is an instance of laying eggs and an agent experiences the process, then the agent is an instance of animal and female is an attribute of the agent
( ! [V__F,V__M] : ((s__instance(V__F,s__Agent) => (((s__instance(V__M,s__Menstruation) & s__experiencer(V__M,V__F)) => ((s__attribute(V__F,s__Female) & ~(s__attribute(V__F,s__Menopausal))))))) ) )	Mid-level-ontology.kif 23174-23181	If a process is an instance of menstruation and an agent experiences the process, then female is an attribute of the agent and menopause is not an attribute of the agent
( ! [V__F] : ((s__instance(V__F,s__Object) => ((s__attribute(V__F,s__Menopausal) => (s__attribute(V__F,s__Female))))) ) )	Mid-level-ontology.kif 23228-23230	If menopause is an attribute of an object, then female is an attribute of the object
( ! [V__H] : ((s__instance(V__H,s__Object) => ((s__attribute(V__H,s__Pregnant) => (s__attribute(V__H,s__Female))))) ) )	Mid-level-ontology.kif 19022-19024	If pregnant is an attribute of an object, then female is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1221-1232	If female level is an attribute of an object, then for all a physical if the physical is an instance of hotel room and the physical is located at the object, then the physical has the purpose there exists an entity such that female is an attribute of the entity and the entity stays at the physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1020-1028	If female executive room is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of human and female is an attribute of the entity and business executive is an attribute of the entity and the entity stays at the object
( ! [V__CHILD,V__PARENT] : (((s__instance(V__CHILD,s__Organism) & s__instance(V__PARENT,s__Organism)) => ((s__daughter(V__CHILD,V__PARENT) => (s__attribute(V__CHILD,s__Female))))) ) )	Merge.kif 15785-15787	If an organism is the daughter of another organism, then female is an attribute of the organism
( ! [V__B] : ((s__instance(V__B,s__Birth) => (( ? [V__M, V__BABY] : ((s__instance(V__M,s__Object) & s__instance(V__BABY,s__Object) & (s__attribute(V__M,s__Female) & s__origin(V__B,V__M) & s__objectTransferred(V__B,V__BABY) & s__attribute(V__BABY,s__NonFullyFormed))))))) ) )	Mid-level-ontology.kif 23279-23286	If a transfer is an instance of birth, then there exist an object and the transferABY such that female is an attribute of the object and the transfer originates at the object and the object transferred in the transfer is the transferABY and non fully formed is an attribute of the transferABY
( ! [V__INSECT] : ((s__instance(V__INSECT,s__QueenInsect) => ((s__attribute(V__INSECT,s__Female) & s__capability(s__Replication,s__agent__m,V__INSECT)))) ) )	Mid-level-ontology.kif 11979-11983	If an object is an instance of queen insect, then female is an attribute of the object and the object is capable of doing replication as a agent
( ! [V__MILK] : ((s__instance(V__MILK,s__Milk) => (( ? [V__PROCESS, V__MAMMAL] : ((s__instance(V__PROCESS,s__Process) & (s__instance(V__MAMMAL,s__Mammal) & s__attribute(V__MAMMAL,s__Female) & s__instrument(V__PROCESS,V__MAMMAL) & s__result(V__PROCESS,V__MILK))))))) ) )	Mid-level-ontology.kif 10243-10250	If an entity is an instance of milk, then there exist a process and an object such that the object is an instance of mammal and female is an attribute of the object and the object is an instrument for the process and the entity is a result of the process
( ! [V__WOMAN] : ((s__instance(V__WOMAN,s__Woman) => (s__attribute(V__WOMAN,s__Female))) ) )	Merge.kif 14019-14021	If an object is an instance of woman, then female is an attribute of the object
( ! [V__MOTHER,V__CHILD] : (((s__instance(V__MOTHER,s__Organism) & s__instance(V__CHILD,s__Organism)) => ((s__mother(V__CHILD,V__MOTHER) => (s__attribute(V__MOTHER,s__Female))))) ) )	Merge.kif 15755-15757	If an organism is a mother of another organism, then female is an attribute of the organism

statement

No TPTP formula. May not be expressible in strict first order.

People.kif 466-476

The children born per woman of a geopolitical area and the year an integer is equal to the number of instances in the class described by a symbolic string

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: