Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Female(female) |  | Amazon, earth_mother, egg-producing, fair_sex, female, femaleness, feminineness, giantess, hen, heroine, intact, inviolate, ogress, woman, womanhood, womankind, young-bearing |
| appearance as argument number 1 |
|
|
| s__instance(s__Female,s__SexAttribute)
|
Merge.kif 18454-18454 | Female is an instance of sex attribute |
| s__documentation(s__Female, s__EnglishLanguage, "An Attribute indicating that an Organism is female in nature_") | Merge.kif 18455-18456 | Female is an instance of sex attribute |
| appearance as argument number 2 |
|
|
| 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__Female)) => s__mother(V__CHILD,V__PARENT))) )
|
Merge.kif 16852-16856 | If X is a parent of Y and female is an attribute of X, then X is a mother of Y |
| ! [V__H : $i,V__T1 : $i] : ((s__holdsDuring(V__T1, (s__instance(V__H, s__HumanChild) & s__attribute(V__H, s__Female))) => s__holdsDuring(V__T1, s__instance(V__H, s__Girl)))) | Mid-level-ontology.kif 348-353 | If X is an instance of human child and female is an attribute of X holds during Y, then X is an instance of girl holds during Y |
| ! [V__AREA,V__AGENT,V__ELECTION] : (((s__instance(V__AREA,s__GeopoliticalArea) & s__instance(V__AGENT,s__Object)) => ((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__AREA)) & s__attribute(V__AGENT,s__Female) & s__member(V__AGENT,s__ResidentFn(V__AREA)) & s__instance(V__ELECTION,s__Election)) => ~(s__capability(s__VotingFn(V__ELECTION) ,s__agent,V__AGENT)))) )
|
Government.kif 1238-1244 | If exclusive male suffrage is a sub-proposition of the regional law of X, female is an attribute of Y, Y is a member of the resident of X, and Z is an instance of election, then Y is not capable of doing the voting of Z as a agent |
| ! [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__Female) & 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__12))) )
|
Medicine.kif 173-188 | 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) female 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 12 |
| ! [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__Female) & 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__12))) )
|
Medicine.kif 207-222 | 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) female 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 12 |
| consequent |
|
|
| ! [V__WOMAN] : ((s__instance(V__WOMAN,s__Woman) => s__attribute(V__WOMAN,s__Female)) )
|
Merge.kif 14971-14973 | If X is an instance of woman, then female is an attribute of X |
| ! [V__CHILD,V__MOTHER] : (((s__instance(V__CHILD,s__Organism) & s__instance(V__MOTHER,s__Organism)) => (s__mother(V__CHILD,V__MOTHER) => s__attribute(V__MOTHER,s__Female))) )
|
Merge.kif 16773-16775 | If X is a mother of Y, then female is an attribute of X |
| ! [V__CHILD,V__PARENT] : (((s__instance(V__CHILD,s__Organism) & s__instance(V__PARENT,s__Organism)) => (s__daughter(V__CHILD,V__PARENT) => s__attribute(V__CHILD,s__Female))) )
|
Merge.kif 16803-16805 | If X is the daughter of Y, then female is an attribute of X |
| ! [V__BODY,V__ORG] : (((s__instance(V__BODY,s__ReproductiveBody) & s__part(V__BODY,V__ORG) & s__instance(V__ORG,s__Organism)) => s__attribute(V__ORG,s__Female)) )
|
Merge.kif 18458-18463 | If X is an instance of reproductive body, X is a part of Y, and Y is an instance of organism, then female is an attribute of Y |
| ! [V__MILK] : ((s__instance(V__MILK,s__Milk) => (? [V__PROCESS,V__MAMMAL] : ((s__instance(V__PROCESS,s__Process) & (s__instance(V__MAMMAL,s__Mammal) & s__attribute(V__MAMMAL,s__Female) & s__instrument(V__PROCESS,V__MAMMAL) & s__result(V__PROCESS,V__MILK)))))) )
|
Mid-level-ontology.kif 12326-12333 | If X is an instance of milk, then there exist Y, Z such that Z is an instance of mammal, female is an attribute of Z, Z is an instrument for Y, and X is a result of Y |
| ! [V__INSECT] : ((s__instance(V__INSECT,s__QueenInsect) => (s__attribute(V__INSECT,s__Female) & s__capability(s__Replication,s__agent,V__INSECT))) )
|
Mid-level-ontology.kif 14264-14268 | If X is an instance of queen insect, then female is an attribute of X and X is capable of doing replication as a agent |
| ! [V__H,V__B] : ((s__instance(V__H,s__Object) => ((s__instance(V__B,s__Breast) & s__part(V__B,V__H)) => s__attribute(V__B,s__Female))) )
|
Mid-level-ontology.kif 14476-14480 | If X is an instance of breast and X is a part of Y, then female is an attribute of X |
| ! [V__H] : ((s__instance(V__H,s__Object) => (s__attribute(V__H,s__Pregnant) => s__attribute(V__H,s__Female))) )
|
Mid-level-ontology.kif 21762-21764 | If pregnant is an attribute of X, then female is an attribute of X |
| ! [V__B] : (((s__instance(V__B,s__Bull) => (s__instance(V__B,s__Cattle) & s__attribute(V__B,s__Female))) & ((s__instance(V__B,s__Cattle) & s__attribute(V__B,s__Female)) => s__instance(V__B,s__Bull))) )
|
Mid-level-ontology.kif 22449-22453 | X is an instance of bull if, only if X is an instance of cattle, and female is an attribute of X |
| ! [V__H] : (((s__instance(V__H,s__Hen) => (s__instance(V__H,s__Chicken) & s__attribute(V__H,s__Female))) & ((s__instance(V__H,s__Chicken) & s__attribute(V__H,s__Female)) => s__instance(V__H,s__Hen))) )
|
Mid-level-ontology.kif 22481-22485 | X is an instance of hen if, only if X is an instance of chicken, and female is an attribute of X |
| ! [V__F,V__M] : ((s__instance(V__F,s__AutonomousAgent) => ((s__instance(V__M,s__Menstruation) & s__experiencer(V__M,V__F)) => (s__attribute(V__F,s__Female) & ~(s__attribute(V__F,s__Menopausal))))) )
|
Mid-level-ontology.kif 26165-26172 | If X is an instance of period and Y experiences X, then female is an attribute of Y and menopause is not an attribute of Y |
| ! [V__F] : ((s__instance(V__F,s__Object) => (s__attribute(V__F,s__Menopausal) => s__attribute(V__F,s__Female))) )
|
Mid-level-ontology.kif 26219-26221 | If menopause is an attribute of X, then female is an attribute of X |
| ! [V__B] : ((s__instance(V__B,s__Birth) => (? [V__M,V__BABY] : ((s__instance(V__M,s__Object) & s__instance(V__BABY,s__Object) & (s__attribute(V__M,s__Female) & s__origin(V__B,V__M) & s__objectTransferred(V__B,V__BABY) & s__attribute(V__BABY,s__NonFullyFormed)))))) )
|
Mid-level-ontology.kif 26293-26300 | If X is an instance of birth, then there exist Y, Z such that female is an attribute of Y, X originates at Y, the object transferred in X is Z, and non fully formed is an attribute of Z |
| ! [V__A,V__L] : ((s__instance(V__A,s__AutonomousAgent) => ((s__instance(V__L,s__LayingEggs) & s__experiencer(V__L,V__A)) => (s__instance(V__A,s__Animal) & s__attribute(V__A,s__Female)))) )
|
Mid-level-ontology.kif 26414-26420 | If X is an instance of laying eggs and Y experiences X, then Y is an instance of animal and female is an attribute of Y |
| ! [V__X : $i] : ((s__attribute(V__X, s__FemaleExecutiveRoom) => s__hasPurpose(V__X, ( ? [V__HUMAN:$i] : ((s__instance(V__HUMAN, s__Human) & s__attribute(V__HUMAN, s__Female) & s__attribute(V__HUMAN, s__BusinessExecutive) & s__stays(V__HUMAN, V__X))))))) | Hotel.kif 1050-1058 | If female executive room is an attribute of X, then X has the purpose there exists Y such that Y is an instance of human, female is an attribute of Y, business executive is an attribute of Y, and Y stays at X |
| ! [V__X : $i] : ((s__attribute(V__X, s__ExclusiveFemaleLevel) => ( ! [V__Y:$i] : (((s__instance(V__Y, s__HotelRoom) & s__located(V__Y, V__X)) => s__hasPurpose(V__Y, ( ? [V__HUMAN:$i] : ((s__attribute(V__HUMAN, s__Female) & s__stays(V__HUMAN, V__Y)))))))))) | Hotel.kif 1251-1262 | If female level is an attribute of X, then For all Physical Y: if Y is an instance of hotel room and Y is located at X, then Y has the purpose there exists Z such that female is an attribute of Z and Z stays at 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 : $int,V__YEAR : $i] : (((s__instance(V__YEAR, s__YearFn(V__Y)) & s__FemaleLifeExpectancyAtBirthFn(V__AREA, V__YEAR) = 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__Female) & s__during(s__WhenFn(V__BIRTH), V__YEAR) & 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 437-470 | If X is an instance of the year Y and equal the female 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__AREA : $i,V__BIRTH : $i,V__INFANT : $i,V__WOMAN : $i,V__Y : $int,V__YEAR : $i] : ((s__instance(V__YEAR, s__YearFn(V__Y)) & s__ChildrenBornPerWomanFn(V__AREA, V__YEAR) = s__CardinalityFn(s__KappaFn(V__INFANT, (s__instance(V__BIRTH, s__Birth) & s__experiencer(V__BIRTH, V__INFANT) & s__agent(V__BIRTH, V__WOMAN) & s__instance(V__WOMAN, s__Human) & s__attribute(V__WOMAN, s__Female) & s__holdsDuring(V__YEAR, s__inhabits(V__WOMAN, V__AREA))))))) | People.kif 490-503 | X is an instance of the year Y and equal the children born per woman of Z, X, and the number of instances in the class described by W |
|