Male - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Male

Male(male)

antheral, impotent, male, maleness, masculinity, potent, staminate, virile

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18312-18312	Male is the opposite of female
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4019-4019	Male is the opposite of female
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18313-18314	Male is the opposite of female
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18311-18311	Male is an instance of sex attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 1356-1356	King is a subattribute of male
No TPTP formula. May not be expressible in strict first order.	Government.kif 1385-1385	Prince consort is a subattribute of male
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35840-35840	Prince consort is a subattribute of male
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35839-35839	Prince consort is a subattribute of male
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35838-35838	Prince consort is a subattribute of male

appearance as argument number 3

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

Merge.kif 18291-18291

Female are all the attributes of sex attribute

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	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 male 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 equal the objectE and 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 13
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 151-163	If an animal is an instance of ihram clothing and the animal wears a wearable item and male is an attribute of the wearable item, then there exist a physical, another physical and a third physical such that the physical is an instance of cloak and the other physical is an instance of belt and the third physical is an instance of sandal and the physical is a member of the animal and the other physical is a member of the animal and the third physical is a member of the animal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 189-204	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 male 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 equal the objectE and 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 13
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16662-16666	If an organism is a parent of another organism and male is an attribute of the organism, then the organism is a father of the other organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 347-352	If an entity is an instance of human child and male is an attribute of the entity holds during a time position, then the entity is an instance of boy holds during the time position

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	A year is an instance of the year the yearEAR and equal the male life expectancy at birth of a geopolitical area and the year and 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 equal the other integer and 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	equal the male to female ratio of a geopolitical area and a real number if and only if equal an integer and the number of instances in the class described by a symbolic string and equal another integer and the number of instances in the class described by another symbolic string and equal the integer and the other integer and the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21835-21839	An object is an instance of bull if and only if the object is an instance of cattle and male is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21858-21862	An object is an instance of rooster if and only if the object is an instance of chicken and male is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Government.kif 1212-1218	If exclusive male suffrage is a sub-proposition of the regional law of a nation and a human is a citizen of the nation and an election is an instance of the election of the nation and the human is capable of doing the voting of the election as a agent, then male is an attribute of the human
No TPTP formula. May not be expressible in strict first order.	Government.kif 1220-1227	If exclusive male suffrage is a sub-proposition of the regional law of a nation and a human is a citizen of the nation and an election is an instance of the election of the nation and a process is an instance of the voting of the election and the human is an agent of the process, then male is an attribute of the human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16607-16609	If an organism is a father of another organism, then male is an attribute of the organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14805-14807	If an object is an instance of man, then male is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16631-16633	If an organism is the son of another organism, then male is an attribute of the organism

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 1203-1210	For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING if ?ELECTION is an instance of the election of ?AGENT and ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING, then male is an attribute of ?VOTER contains information exclusive male suffrage
No TPTP formula. May not be expressible in strict first order.	Military.kif 940-949	equal the available for military service male of a geopolitical area and the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Military.kif 963-974	equal the fit for military service male of a geopolitical area and the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Military.kif 1001-1014	equal the reaching military age annually male of a geopolitical area and a year and 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