Male
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18125-18125 | Male est l'oppos� de 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 est une instance de attribut de sexe |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1394-1394 | King est un sous-attribut de Male |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1423-1423 | PrinceConsort est un sous-attribut de 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 | exhaustiveAttribute attribut de sexe, Female, Male and NonBinaryGender |
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 | Ann�e est une instance de l' ann�e ann�eEAR MaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM
|
No TPTP formula. May not be expressible in strict first order. | People.kif 206-223 | MaleToFemaleRatioFn secteur g�opolitique est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre entier est nombre r�el |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20218-20222 | Objet est une instance de Bull objet est une instance de Cattle Male est un attribut de objet |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20241-20245 | Objet est une instance de Rooster objet est une instance de Chicken Male est un attribut de objet |
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 | ?AGENT ?VOTER, ?ELECTION and ?VOTING
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 872-881 | AvailableForMilitaryServiceMaleFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Military.kif 895-906 | FitForMilitaryServiceMaleFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Military.kif 933-946 | ReachingMilitaryAgeAnnuallyMaleFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique |