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 18125-18125 Male is the opposite of female
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4019-4019
No TPTP formula. May not be expressible in strict first order. Merge.kif 18126-18127
No TPTP formula. May not be expressible in strict first order. Merge.kif 18124-18124 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 1394-1394 King is a subattribute of male
No TPTP formula. May not be expressible in strict first order. Government.kif 1423-1423 Prince consort is a subattribute of male
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35831-35831
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35830-35830
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35829-35829

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 18105-18105 Female are all the attributes of sex attribute

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 155-170
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 151-163
No TPTP formula. May not be expressible in strict first order. Medicine.kif 189-204
No TPTP formula. May not be expressible in strict first order. Merge.kif 16487-16491
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 354-359

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 the male 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 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 20218-20222 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 20241-20245 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 1250-1256
No TPTP formula. May not be expressible in strict first order. Government.kif 1258-1265
No TPTP formula. May not be expressible in strict first order. Merge.kif 16432-16434
No TPTP formula. May not be expressible in strict first order. Merge.kif 14652-14654
No TPTP formula. May not be expressible in strict first order. Merge.kif 16456-16458

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1241-1248 For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING contains information exclusive male suffrage
No TPTP formula. May not be expressible in strict first order. Military.kif 872-881 The available for military service male of a geopolitical area is equal to 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 895-906 The fit for military service male of a geopolitical area is equal to 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 933-946 The reaching military age annually male of a geopolitical area and a 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