Male
|
|
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 |
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
|
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
|
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 |