Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Male(male) |  | antheral, impotent, male, maleness, masculinity, potent, staminate, virile |
| appearance as argument number 1 |
|
|
| s__instance(s__Male,s__SexAttribute)
|
Merge.kif 18465-18465 | Male is an instance of sex attribute |
| s__contraryAttribute(s__Male,s__Female)
|
Merge.kif 18466-18466 | Male is the opposite of female |
| s__documentation(s__Male, s__EnglishLanguage, "An Attribute indicating that an Organism is male in nature_") | Merge.kif 18467-18468 | Male is the opposite of female |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| s__exhaustiveAttribute(s__SexAttribute,s__Female,s__Male,s__NonBinaryGender)
|
Merge.kif 18445-18445 | Female are all the attributes of sex attribute |
| antecedent |
|
|
| ! [V__CHILD,V__PARENT] : (((s__instance(V__CHILD,s__Organism) & s__instance(V__PARENT,s__Organism)) => ((s__parent(V__CHILD,V__PARENT) & s__attribute(V__PARENT,s__Male)) => s__father(V__CHILD,V__PARENT))) )
|
Merge.kif 16846-16850 | If X is a parent of Y and male is an attribute of X, then X is a father of Y |
| ! [V__H : $i,V__T1 : $i] : ((s__holdsDuring(V__T1, (s__instance(V__H, s__HumanChild) & s__attribute(V__H, s__Male))) => s__holdsDuring(V__T1, s__instance(V__H, s__Boy)))) | Mid-level-ontology.kif 337-342 | If X is an instance of human child and male is an attribute of X holds during Y, then X is an instance of boy holds during Y |
| ! [V__M,V__IC] : ((s__instance(V__M,s__WearableItem) => ((s__instance(V__IC,s__IhramClothing) & s__wears(V__IC,V__M) & s__attribute(V__M,s__Male)) => (? [V__C,V__B,V__S] : ((s__instance(V__C,s__Cloak) & s__instance(V__B,s__Belt) & s__instance(V__S,s__Sandal) & s__member(V__C,V__IC) & s__member(V__B,V__IC) & s__member(V__S,V__IC)))))) )
|
ArabicCulture.kif 151-163 | If X is an instance of ihram clothing, X wears Y, and male is an attribute of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of cloak (3) W is an instance of belt (4) V is an instance of sandal (5) Z is a member of X (6) W is a member of X (7) V is a member of X |
| ! [V__H,V__H2,V__N,V__B,V__HE,V__HE2] : (((s__instance(V__H,s__Object) & s__instance(V__H2,s__Object) & s__instance(V__N,s__RealNumber)) => ((s__attribute(V__H,s__Anemia) & s__instance(V__B,s__Blood) & s__part(V__B,V__H) & s__attribute(V__H,s__Male) & s__measure(V__B,s__MeasureFn(n__0_1,s__Liter)) & s__instance(V__HE,s__Hemoglobin) & s__part(V__HE,V__B) & ~(s__instance(V__HE2,s__Hemoglobin)) & ~((V__HE = V__HE2)) & s__part(V__H2,V__B) & s__measure(V__HE,s__MeasureFn(V__N,s__Gram))) => s__lessThan(V__N,n__13))) )
|
Medicine.kif 156-171 | If All of the following hold: (1) anaemia is an attribute of X (2) Y is an instance of blood (3) Y is a part of X (4) male is an attribute of X (5) the measure of Y is 0.1 liter(s) (6) Z is an instance of haemoglobin (7) Z is a part of Y (8) W is not an instance of haemoglobin (9) equal Z and W (10) V is a part of Y (11) the measure of Z is U gram(s), then U is less than 13 |
| ! [V__H,V__H2,V__N,V__B,V__HE,V__HE2] : (((s__instance(V__H,s__Object) & s__instance(V__H2,s__Object) & s__instance(V__N,s__RealNumber)) => ((~(s__attribute(V__H,s__Anemia)) & s__instance(V__B,s__Blood) & s__part(V__B,V__H) & s__attribute(V__H,s__Male) & s__measure(V__B,s__MeasureFn(n__0_1,s__Liter)) & s__instance(V__HE,s__Hemoglobin) & s__part(V__HE,V__B) & ~(s__instance(V__HE2,s__Hemoglobin)) & ~((V__HE = V__HE2)) & s__part(V__H2,V__B) & s__measure(V__HE,s__MeasureFn(V__N,s__Gram))) => s__greaterThan(V__N,n__13))) )
|
Medicine.kif 190-205 | If All of the following hold: (1) anaemia is not an attribute of X (2) Y is an instance of blood (3) Y is a part of X (4) male is an attribute of X (5) the measure of Y is 0.1 liter(s) (6) Z is an instance of haemoglobin (7) Z is a part of Y (8) W is not an instance of haemoglobin (9) equal Z and W (10) V is a part of Y (11) the measure of Z is U gram(s), then U is greater than 13 |
| consequent |
|
|
| ! [V__MAN] : ((s__instance(V__MAN,s__Man) => s__attribute(V__MAN,s__Male)) )
|
Merge.kif 14964-14966 | If X is an instance of man, then male is an attribute of X |
| ! [V__CHILD,V__FATHER] : (((s__instance(V__CHILD,s__Organism) & s__instance(V__FATHER,s__Organism)) => (s__father(V__CHILD,V__FATHER) => s__attribute(V__FATHER,s__Male))) )
|
Merge.kif 16791-16793 | If X is a father of Y, then male is an attribute of X |
| ! [V__CHILD,V__PARENT] : (((s__instance(V__CHILD,s__Organism) & s__instance(V__PARENT,s__Organism)) => (s__son(V__CHILD,V__PARENT) => s__attribute(V__CHILD,s__Male))) )
|
Merge.kif 16815-16817 | If X is the son of Y, then male is an attribute of X |
| ! [V__B] : (((s__instance(V__B,s__Bull) => (s__instance(V__B,s__Cattle) & s__attribute(V__B,s__Male))) & ((s__instance(V__B,s__Cattle) & s__attribute(V__B,s__Male)) => s__instance(V__B,s__Bull))) )
|
Mid-level-ontology.kif 22467-22471 | X is an instance of bull if, only if X is an instance of cattle, and male is an attribute of X |
| ! [V__R] : (((s__instance(V__R,s__Rooster) => (s__instance(V__R,s__Chicken) & s__attribute(V__R,s__Male))) & ((s__instance(V__R,s__Chicken) & s__attribute(V__R,s__Male)) => s__instance(V__R,s__Rooster))) )
|
Mid-level-ontology.kif 22490-22494 | X is an instance of rooster if, only if X is an instance of chicken, and male is an attribute of X |
| ! [V__POLITY,V__AGENT,V__ELECTION] : (((s__instance(V__POLITY,s__Nation) & s__instance(V__AGENT,s__Human) & s__instance(V__ELECTION,s__Election)) => ((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__POLITY)) & s__citizen(V__AGENT,V__POLITY) & s__instance(V__ELECTION,s__ElectionFn(V__POLITY)) & s__capability(s__VotingFn(V__ELECTION) ,s__agent,V__AGENT)) => s__attribute(V__AGENT,s__Male))) )
|
Government.kif 1221-1227 | If exclusive male suffrage is a sub-proposition of the regional law of X, Y is a citizen of X, Z is an instance of the election of X, and Y is capable of doing the voting of Z as a agent, then male is an attribute of Y |
| ! [V__POLITY,V__AGENT,V__ELECTION,V__ACT] : (((s__instance(V__POLITY,s__Nation) & s__instance(V__AGENT,s__Human) & s__instance(V__ELECTION,s__Election) & s__instance(V__ACT,s__Process)) => ((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__POLITY)) & s__citizen(V__AGENT,V__POLITY) & s__instance(V__ELECTION,s__ElectionFn(V__POLITY)) & s__instance(V__ACT,s__VotingFn(V__ELECTION)) & s__agent(V__ACT,V__AGENT)) => s__attribute(V__AGENT,s__Male))) )
|
Government.kif 1229-1236 | If exclusive male suffrage is a sub-proposition of the regional law of X, Y is a citizen of X, Z is an instance of the election of X, W is an instance of the voting of Z, and Y is an agent of W, then male is an attribute of Y |
| ! [V__AREA : $i,V__FEMALE : $i,V__FEMALECOUNT : $int,V__MALE : $i,V__MALECOUNT : $int,V__REALNUMBER : $real] : ((s__MaleToFemaleRatioFn(V__AREA) = V__REALNUMBER => (V__MALECOUNT = s__CardinalityFn(s__KappaFn(V__MALE, (s__instance(V__MALE, s__Human) & s__attribute(V__MALE, s__Male) & s__inhabits(V__MALE, V__AREA)))) & V__FEMALECOUNT = s__CardinalityFn(s__KappaFn(V__FEMALE, (s__instance(V__FEMALE, s__Human) & s__attribute(V__FEMALE, s__Female) & s__inhabits(V__FEMALE, V__AREA)))) & s__DivisionFn(V__MALECOUNT, V__FEMALECOUNT) = V__REALNUMBER))) | People.kif 240-257 | If equal the male to female ratio of X and Y, then equal Z and the number of instances in the class described by W, equal V and the number of instances in the class described by U, and equal Z, V, and Y |
| ! [V__AREA : $i,V__REALNUMBER : $real,V__Y : $i,V__YEAR : $int] : (((s__instance(V__Y, s__YearFn(V__YEAR)) & s__MaleLifeExpectancyAtBirthFn(V__AREA, V__Y) = V__REALNUMBER) => ( ? [V__LIST:$i, V__COUNT:$int, V__LIFEEXPECTANCYAGE:$real, V__BIRTH:$i, V__INDIVIDUAL:$i, V__DEATH:$i] : ((s__instance(V__LIST, s__List) & s__instance(s__ListLengthFn(V__LIST),V__COUNT) & ( ! [V__LISTITEM:$i] : ((s__inList(V__LISTITEM, V__LIST) => (s__instance(V__LISTITEM, V__LIFEEXPECTANCYAGE) & ~(( ? [V__NUMBER:$i] : ((s__instance(V__NUMBER, V__LIFEEXPECTANCYAGE) & ~(s__inList(V__NUMBER, V__LIST)))))) & V__COUNT = s__CardinalityFn(s__KappaFn(V__LIFEEXPECTANCYAGE, (s__instance(V__BIRTH, s__Birth) & s__experiencer(V__BIRTH, V__INDIVIDUAL) & s__instance(V__INDIVIDUAL, s__Human) & s__attribute(V__INDIVIDUAL, s__Male) & s__during(s__WhenFn(V__BIRTH), V__Y) & s__WhereFn(V__BIRTH, s__WhenFn(V__BIRTH)) = V__AREA & s__instance(V__DEATH, s__Death) & s__experiencer(V__DEATH, V__INDIVIDUAL) & s__holdsDuring(s__WhenFn(V__DEATH), s__age(V__INDIVIDUAL, s__MeasureFn(V__LIFEEXPECTANCYAGE, s__YearDuration)))))))))) & s__average(V__LIST, V__REALNUMBER)))))) | People.kif 391-424 | If X is an instance of the year Y and equal the male life expectancy at birth of Z, X, and W, then All of the following hold: (1) there exist V, U,, , T,, , S,, , R (2) Q such that V is an instance of list (3) length of V is an instance of U (4) P P is a member of VP is an instance of T (5) there doesn't exist O such that O is an instance of T (6) O is not a member of V (7) equal U (8) the number of instances in the class described by T (9) W is an average of V |
| statement |
|
|
| ! [V__AGE : $i,V__AREA : $i,V__MILITARYAGE : $i,V__PERSON : $i] : (s__AvailableForMilitaryServiceMaleFn(V__AREA) = s__CardinalityFn(s__KappaFn(V__PERSON, (s__instance(V__PERSON, s__Human) & s__attribute(V__PERSON, s__Male) & s__militaryAge(V__AREA, V__MILITARYAGE) & s__age(V__PERSON, V__AGE) & ($greatereq(V__AGE,V__MILITARYAGE)) & s__inhabits(V__PERSON, V__AREA))))) | Military.kif 1136-1145 | equal the available for military service male of X and the number of instances in the class described by Y |
| ! [V__AGE : $i,V__AREA : $i,V__MILITARYAGE : $i,V__PERSON : $i,V__PROCESS : $i] : (s__FitForMilitaryServiceMaleFn(V__AREA) = s__CardinalityFn(s__KappaFn(V__PERSON, (s__instance(V__PERSON, s__Human) & s__attribute(V__PERSON, s__Male) & s__subclass(V__PROCESS, s__MilitaryProcess) & s__fitForMilitaryService(V__PERSON, V__PROCESS) & s__militaryAge(V__AREA, V__MILITARYAGE) & s__age(V__PERSON, V__AGE) & ($greatereq(V__AGE,V__MILITARYAGE)) & s__inhabits(V__PERSON, V__AREA))))) | Military.kif 1159-1170 | equal the fit for military service male of X and the number of instances in the class described by Y |
| ! [V__AGE : $i,V__AGEMINUSONE : $i,V__AREA : $i,V__MILITARYAGE : $i,V__PERSON : $i,V__YEAR : $i] : (s__ReachingMilitaryAgeAnnuallyMaleFn(V__AREA, V__YEAR) = s__CardinalityFn(s__KappaFn(V__PERSON, (s__instance(V__PERSON, s__Human) & s__attribute(V__PERSON, s__Male) & s__militaryAge(V__AREA, V__MILITARYAGE) & V__AGEMINUSONE = $difference(V__AGE ,1) & s__holdsDuring(V__YEAR, (s__age(V__PERSON, V__AGEMINUSONE) | s__age(V__PERSON, V__AGE))) & V__AGE = V__MILITARYAGE & s__inhabits(V__PERSON, V__AREA))))) | Military.kif 1197-1210 | equal the reaching military age annually male of X, Y, and the number of instances in the class described by Z |
|