| Male(male) | | antheral, impotent, male, maleness, masculinity, potent, staminate, virile |
| appearance as argument number 1 |
|
|
| (contraryAttribute Male Female) | Merge.kif 16858-16858 | Male is the opposite of female |
| (documentation Male ChineseLanguage "这是表示一个 Organism 天生是雄性的 Attribute。") | chinese_format.kif 4019-4019 | |
| (documentation Male EnglishLanguage "An Attribute indicating that an Organism is male in nature.") | Merge.kif 16859-16860 | |
| (instance Male SexAttribute) | Merge.kif 16857-16857 | Male is an instance of sex attribute |
| appearance as argument number 2 |
|
|
| (subAttribute King Male) | Government.kif 1380-1380 | King is a subattribute of male |
| (subAttribute PrinceConsort Male) | Government.kif 1409-1409 | PrinceConsort is a subattribute of male |
| (termFormat ChineseLanguage Male "男") | domainEnglishFormat.kif 35821-35821 | |
| (termFormat ChineseTraditionalLanguage Male "男") | domainEnglishFormat.kif 35820-35820 | |
| (termFormat EnglishLanguage Male "male") | domainEnglishFormat.kif 35819-35819 |
| appearance as argument number 3 |
|
|
| (exhaustiveAttribute SexAttribute Female Male) | Merge.kif 16842-16842 | Female are all the attributes of sex attribute |
| antecedent |
|
|
| consequent |
|
|
| (<=> (equal (MaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 367-398 | The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM
|
| (<=> (equal (MaleToFemaleRatioFn ?AREA) ?REALNUMBER) (and (equal ?MALECOUNT (CardinalityFn (KappaFn ?MALE (and (instance ?MALE Human) (attribute ?MALE Male) (inhabits ?MALE ?AREA))))) (equal ?FEMALECOUNT (CardinalityFn (KappaFn ?FEMALE (and (instance ?FEMALE Human) (attribute ?FEMALE Female) (inhabits ?FEMALE ?AREA))))) (equal (DivisionFn ?MALECOUNT ?FEMALECOUNT) ?REALNUMBER))) |
People.kif 221-238 | 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 |
| (<=> (instance ?B Bull) (and (instance ?B Cow) (attribute ?B Male))) |
Mid-level-ontology.kif 18043-18047 | An object is an instance of bull if and only if the object is an instance of cow and male is an attribute of the object |
| (<=> (instance ?R Rooster) (and (instance ?R Chicken) (attribute ?R Male))) |
Mid-level-ontology.kif 18078-18082 | 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 |
| (=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (attribute ?AGENT Male)) |
Government.kif 1236-1242 |
|
| (=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT)) (attribute ?AGENT Male)) |
Government.kif 1244-1251 |
|
| (=> (father ?CHILD ?FATHER) (attribute ?FATHER Male)) |
Merge.kif 15308-15310 |
|
| (=> (instance ?MAN Man) (attribute ?MAN Male)) |
Merge.kif 13643-13645 | |
| (=> (son ?CHILD ?PARENT) (attribute ?CHILD Male)) |
Merge.kif 15332-15334 |
|
| statement |
|
|
| (containsInformation (forall (?AGENT ?VOTER ?ELECTION ?VOTING) (=> (and (instance ?ELECTION (ElectionFn ?AGENT)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (attribute ?VOTER Male))) ExclusiveMaleSuffrage) |
Government.kif 1227-1234 | For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING
|
| (equal (AvailableForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 867-876 | 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 |
| (equal (FitForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (instance ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 890-901 | 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 |
| (equal (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (equal ?AGEMINUSONE (SubtractionFn ?AGE 1)) (holdsDuring ?YEAR (or (age ?PERSON ?AGEMINUSONE) (age ?PERSON ?AGE))) (equal ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 928-941 | 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 |
|
|
|