Male
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18204-18204 | 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 18205-18206 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18203-18203 | 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 1358-1358 | King is a subattribute of male |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1387-1387 | 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 18184-18184 | 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 20245-20249 | 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 20268-20272 | 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 1214-1220 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1222-1229 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16503-16505 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14698-14700 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16527-16529 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1205-1212 | For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 863-872 | 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 886-897 | 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 924-937 | 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 |