Female - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Female

Female(female)

Amazon, earth_mother, egg-producing, fair_sex, female, femaleness, feminineness, giantess, hen, heroine, intact, inviolate, ogress, woman, womanhood, womankind, young-bearing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4018-4018
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18287-18288
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18286-18286	Female is an instance of sex attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18298-18298	Male is the opposite of female
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18277-18277	Female are all the attributes of sex attribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 1374-1374	Queen consort is a subattribute of female
No TPTP formula. May not be expressible in strict first order.	Government.kif 1370-1370	Queen regnant is a subattribute of female
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23506-23506	Queen regnant is a subattribute of female
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23505-23505	Queen regnant is a subattribute of female
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23504-23504	Queen regnant is a subattribute of female

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 172-187	If anaemia is an attribute of an object and another object is an instance of blood and the other object is a part of the object and female is an attribute of the object and the measure of the other object is 0.1 liter(s) and the objectE is an instance of hemoglobin and the objectE is a part of the other object and the objectE2 is not an instance of hemoglobin and the objectE is not equal to the objectE2 and the object2 is a part of the other object and the measure of the objectE is a real number gram(s), then the real number is less than 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 206-221	If anaemia is not an attribute of an object and another object is an instance of blood and the other object is a part of the object and female is an attribute of the object and the measure of the other object is 0.1 liter(s) and the objectE is an instance of hemoglobin and the objectE is a part of the other object and the objectE2 is not an instance of hemoglobin and the objectE is not equal to the objectE2 and the object2 is a part of the other object and the measure of the objectE is a real number gram(s), then the real number is greater than 12
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16653-16657	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1229-1235	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 358-363	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 403-436	A year is an instance of the year an integer and the female life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth 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 206-223	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21834-21838	An object is an instance of bull if and only if the object is an instance of cattle and female is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21866-21870	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14208-14212	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18290-18295	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25796-25802	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25545-25552	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25599-25601	If menopause 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.	Mid-level-ontology.kif 21448-21450	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 1251-1262	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 1050-1058	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16604-16606	If an organism is the daughter of another organism, then female is an attribute of the organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25675-25682	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13996-14000	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12219-12226	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14797-14799	If an object is an instance of woman, then female is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16574-16576	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 456-469

A year is an instance of the year an integer and the children born per woman of a geopolitical area and the year 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