Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Male

Sigma KEE - Male
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 average liste and nombre r�el
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 contient information ExclusiveMaleSuffrage
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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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