Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CardinalityFn |
| appearance as argument number 1 |
|
| s__instance(s__CardinalityFn,s__UnaryFunction)
|
Merge.kif 5627-5627 | Cardinality is an instance of unary function |
| s__domain(s__CardinalityFn,n__1,s__SetOrClass)
|
Merge.kif 5628-5628 | The number 1 argument of cardinality is an instance of set or class |
| s__range(s__CardinalityFn,s__Integer)
|
Merge.kif 5629-5629 | The range of cardinality is an instance of integer |
| s__documentation(s__CardinalityFn, s__EnglishLanguage, "(CardinalityFn ?CLASS) returns the number of instances in the SetOrClass ?CLASS or the number of members in the ?CLASS Collection_") | Merge.kif 5631-5633 | The range of cardinality is an instance of integer |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| ! [V__CITIZENRY,V__POPULATION,V__AREA] : (((s__instance(V__CITIZENRY,s__Integer) & s__instance(V__POPULATION,s__Integer)) => ((s__instance(V__AREA,s__GeopoliticalArea) & (V__CITIZENRY = s__CardinalityFn(s__CitizenryFn(V__AREA))) & (V__POPULATION = s__CardinalityFn(s__ResidentFn(V__AREA)))) => s__greaterThanOrEqualTo(V__POPULATION,V__CITIZENRY))) )
|
Mid-level-ontology.kif 9366-9373 | If X is an instance of geopolitical area, equal Y and the number of instances in the citizenry of X, and equal Z and the number of instances in the resident of X, then Z is greater than or equal to Y |
| ! [V__Account : $i,V__Agent : $i] : ((((s__instance(V__Account, s__PersonalAccount) & ($greater(s__CardinalityFn(s__KappaFn(V__Agent, s__accountHolder(V__Account, V__Agent))),1))) => s__instance(V__Account, s__JointAccount)) & (s__instance(V__Account, s__JointAccount) => (s__instance(V__Account, s__PersonalAccount) & ($greater(s__CardinalityFn(s__KappaFn(V__Agent, s__accountHolder(V__Account, V__Agent))),1)))))) | FinancialOntology.kif 1029-1036 | X is an instance of personal account, the number of instances in the class described by Y is greater than 1 if, and only if X is an instance of joint account |
| ! [V__COUNT,V__SET] : ((s__instance(V__COUNT,s__NonnegativeInteger) => ((s__instance(V__SET,s__SetOrClass) & (s__CardinalityFn(V__SET) = V__COUNT)) => s__cardinality(V__SET,V__COUNT))) )
|
Government.kif 410-414 | If X is an instance of set or class and equal the number of instances in X and Y, then Y is a cardinality of X |
| ! [V__AREA : $i,V__BIRTH : $i,V__BIRTHCOUNT : $int,V__INFANT : $i,V__REALNUMBER : $real,V__THOUSANDS : $real,V__Y : $int,V__YEAR : $i] : (((s__DivisionFn(s__PopulationFn(V__AREA), 1000) = V__THOUSANDS & V__BIRTHCOUNT = s__CardinalityFn(s__KappaFn(V__BIRTH, (s__instance(V__BIRTH, s__Birth) & s__experiencer(V__BIRTH, V__INFANT) & s__instance(V__INFANT, s__Human) & s__during(s__WhenFn(V__BIRTH), V__YEAR) & s__WhereFn(V__BIRTH, s__WhenFn(V__BIRTH)) = V__AREA))) & s__DivisionFn(V__BIRTHCOUNT, V__THOUSANDS) = V__REALNUMBER) => (s__instance(V__YEAR, s__YearFn(V__Y)) & s__BirthsPerThousandFn(V__AREA, V__YEAR) = V__REALNUMBER))) | People.kif 99-114 | If equal the population of X, 1000, and Y, equal Z and the number of instances in the class described by W, and equal Z, Y, and V, then U is an instance of the year T and equal the births per thousand of X, U, and V |
| ! [V__AREA : $i,V__DEATH : $i,V__DEATHCOUNT : $int,V__PERSON : $i,V__REALNUMBER : $real,V__THOUSANDS : $real,V__Y : $int,V__YEAR : $i] : (((s__DivisionFn(s__PopulationFn(V__AREA), 1000) = V__THOUSANDS & V__DEATHCOUNT = s__CardinalityFn(s__KappaFn(V__DEATH, (s__instance(V__DEATH, s__Death) & s__experiencer(V__DEATH, V__PERSON) & s__instance(V__PERSON, s__Human) & s__during(s__WhenFn(V__DEATH), V__YEAR) & s__WhereFn(V__DEATH, s__WhenFn(V__DEATH)) = V__AREA))) & s__DivisionFn(V__DEATHCOUNT, V__THOUSANDS) = V__REALNUMBER) => (s__instance(V__YEAR, s__YearFn(V__Y)) & s__DeathsPerThousandFn(V__AREA, V__YEAR) = V__REALNUMBER))) | People.kif 152-167 | If equal the population of X, 1000, and Y, equal Z and the number of instances in the class described by W, and equal Z, Y, and V, then U is an instance of the year T and equal the deaths per thousand of X, U, and V |
| ! [V__BUYINGS : $i,V__GMB : $i,V__ITEM : $i,V__TOTAL : $int] : (((s__instance(V__BUYINGS, s__Collection) & s__instance(V__GMB, s__CurrencyMeasure) & V__GMB = s__GMBFn(V__BUYINGS) & V__TOTAL = s__CardinalityFn(s__KappaFn(V__ITEM, (s__instance(V__ITEM, s__Object) & ( ? [V__BUYING:$i] : ((s__member(V__BUYING, V__BUYINGS) & s__patient(V__BUYING, V__ITEM)))))))) => s__ABPFn(V__BUYINGS) = s__DivisionFn(V__GMB, V__TOTAL))) | UXExperimentalTerms.kif 3238-3258 | If X is an instance of collection, Y is an instance of currency measure, Z is an instance of real number, equal Y and the value of X, and equal Z and the number of instances in the class described by W, then equal the average price of X, Y, and Z |
| ! [V__GMV : $i,V__ITEM : $i,V__SELLINGS : $i,V__TOTAL : $int] : (((s__instance(V__SELLINGS, s__Collection) & s__instance(V__GMV, s__CurrencyMeasure) & V__GMV = s__GMVFn(V__SELLINGS) & V__TOTAL = s__CardinalityFn(s__KappaFn(V__ITEM, (s__instance(V__ITEM, s__Object) & ( ? [V__SELLING:$i] : ((s__member(V__SELLING, V__SELLINGS) & s__patient(V__SELLING, V__ITEM)))))))) => s__ASPFn(V__SELLINGS) = s__DivisionFn(V__GMV, V__TOTAL))) | UXExperimentalTerms.kif 3281-3301 | If X is an instance of collection, Y is an instance of currency measure, Z is an instance of real number, equal Y and the value of X, and equal Z and the number of instances in the class described by W, then equal the average selling price of X, Y, and Z |
| consequent |
|
|
| ! [V__SET] : ((s__instance(V__SET,s__FiniteSet) => (? [V__NUMBER] : ((s__instance(V__NUMBER,s__NonnegativeInteger) & (V__NUMBER = s__CardinalityFn(V__SET)))))) )
|
Merge.kif 5662-5667 | If X is an instance of finite set, then there exists Y such that Y is an instance of nonnegative integer, equal Y, and the number of instances in X |
| ! [V__YEAR] : ((s__instance(V__YEAR,s__Year) => (s__CardinalityFn(s__TemporalCompositionFn(V__YEAR,s__Month)) = n__12)) )
|
Merge.kif 9684-9686 | If X is an instance of year, then equal the number of instances in decomposition of X into months and 12 |
| ! [V__NUMBER,V__MONTH] : ((s__instance(V__NUMBER,s__Integer) => ((s__instance(V__MONTH,s__Month) & s__duration(V__MONTH,s__MeasureFn(V__NUMBER,s__DayDuration))) => (s__CardinalityFn(s__TemporalCompositionFn(V__MONTH,s__Day)) = V__NUMBER))) )
|
Merge.kif 9688-9692 | If X is an instance of month and duration of X is Y day duration(s), then equal the number of instances in decomposition of X into days and Y |
| ! [V__WEEK] : ((s__instance(V__WEEK,s__Week) => (s__CardinalityFn(s__TemporalCompositionFn(V__WEEK,s__Day)) = n__7)) )
|
Merge.kif 9694-9696 | If X is an instance of week, then equal the number of instances in decomposition of X into days and 7 |
| ! [V__DAY] : ((s__instance(V__DAY,s__Day) => (s__CardinalityFn(s__TemporalCompositionFn(V__DAY,s__Hour)) = n__24)) )
|
Merge.kif 9698-9700 | If X is an instance of day, then equal the number of instances in decomposition of X into hours and 24 |
| ! [V__HOUR] : ((s__instance(V__HOUR,s__Hour) => (s__CardinalityFn(s__TemporalCompositionFn(V__HOUR,s__Minute)) = n__60)) )
|
Merge.kif 9702-9704 | If X is an instance of hour, then equal the number of instances in decomposition of X into minutes and 60 |
| ! [V__MINUTE] : ((s__instance(V__MINUTE,s__Minute) => (s__CardinalityFn(s__TemporalCompositionFn(V__MINUTE,s__Second)) = n__60)) )
|
Merge.kif 9706-9708 | If X is an instance of minute, then equal the number of instances in decomposition of X into seconds and 60 |
| ! [V__AGENT : $i,V__COUNT : $i,V__ENTITY : $i] : (((s__instance(V__COUNT, s__Counting) & s__agent(V__COUNT, V__AGENT) & s__patient(V__COUNT, V__ENTITY)) => ( ? [V__NUMBER:$int] : (s__knows(V__AGENT, s__CardinalityFn(V__ENTITY) = V__NUMBER))))) | Merge.kif 12422-12428 | If X is an instance of counting, Y is an agent of X, and Z is a patient of X, then there exists W such that Y knows equal the number of instances in Z and W |
| ! [V__ATOM : $i,V__NUMBER : $int,V__PROTON : $i,V__SUBSTANCE : $i,V__TYPE : $i] : ((s__atomicNumber(V__TYPE,V__NUMBER) => ((s__instance(V__SUBSTANCE, V__TYPE) & s__part(V__ATOM, V__SUBSTANCE) & s__instance(V__ATOM, s__Atom)) => V__NUMBER = s__CardinalityFn(s__KappaFn(V__PROTON, (s__part(V__PROTON, V__ATOM) & s__instance(V__PROTON, s__Proton))))))) | Merge.kif 14087-14099 | Assuming X is an atomic number of Y, it follows that: if Z is an instance of Y, W is a part of Z, and W is an instance of atom, then equal X and the number of instances in the class described by V |
| ! [V__BOX : $i,V__SIDE : $i] : ((s__instance(V__BOX, s__Box) => s__CardinalityFn(s__KappaFn(V__SIDE, (s__top(V__SIDE, V__BOX) | s__bottom(V__SIDE, V__BOX) | s__side(V__SIDE, V__BOX)))) = 6)) | Mid-level-ontology.kif 5087-5095 | If X is an instance of box, then equal the number of instances in the class described by Y and 6 |
| ! [V__F : $i,V__P : $i] : ((s__instance(V__P, s__Polyhedron) => ($greatereq(s__CardinalityFn(s__KappaFn(V__F, s__faceOfFigure(V__F, V__P))),4)))) | Mid-level-ontology.kif 5469-5474 | If X is an instance of polyhedron, then the number of instances in the class described by Y is greater than or equal to 4 |
| ! [V__POL : $i,V__PY : $i,V__S : $i,V__T : $i] : (((s__instance(V__PY, s__Pyramid) & s__instance(V__POL, s__Polygon) & s__faceOfFigure(V__POL, V__PY) & s__sideOfFigure(V__S, V__POL) & s__instance(V__T, s__Triangle) & s__faceOfFigure(V__T, V__PY) & s__sideOfFigure(V__S, V__T) & s__sideOfIntersection(V__POL, V__T, V__S)) => s__CardinalityFn(s__KappaFn(V__S, s__sideOfFigure(V__S, V__POL))) = s__CardinalityFn(s__KappaFn(V__T, s__faceOfFigure(V__T, V__PY))))) | Mid-level-ontology.kif 5515-5531 | If All of the following hold: (1) X is an instance of pyramid (2) Y is an instance of polygon (3) Y is the face of Figure X (4) the size of Y is Z (5) W is an instance of triangle (6) W is the face of Figure X (7) the size of W is Z (8) Z is the intersection Y and W, then equal the number of instances in the class described by Z and the number of instances in the class described by W |
| ! [V__F : $i,V__P : $i] : ((s__instance(V__P, s__SquarePyramid) => s__CardinalityFn(s__KappaFn(V__F, s__faceOfFigure(V__F, V__P))) = 4)) | Mid-level-ontology.kif 5546-5551 | If X is an instance of square pyramid, then equal the number of instances in the class described by Y and 4 |
| ! [V__C : $i,V__F : $i] : ((s__instance(V__C, s__Cube) => s__CardinalityFn(s__KappaFn(V__F, s__faceOfFigure(V__F, V__C))) = 6)) | Mid-level-ontology.kif 5561-5566 | If X is an instance of cube, then equal the number of instances in the class described by Y and 6 |
| ! [V__QUAD : $i,V__SIDE : $i] : ((s__instance(V__QUAD, s__Quadrilateral) => s__CardinalityFn(s__KappaFn(V__SIDE, s__sideOfFigure(V__SIDE, V__QUAD))) = 4)) | Mid-level-ontology.kif 5690-5695 | If X is an instance of quadrilateral, then equal the number of instances in the class described by Y and 4 |
| ! [V__QUANTITY1,V__U,V__AREA,V__QUANTITY2] : (((s__instance(V__QUANTITY1,s__RealNumber) & s__instance(V__U,s__UnitOfMeasure) & s__instance(V__AREA,s__GeopoliticalArea) & s__instance(V__QUANTITY2,s__RealNumber)) => ((s__PerCapitaFn(s__MeasureFn(V__QUANTITY1,V__U) ,V__AREA) = s__MeasureFn(V__QUANTITY2,V__U)) => (? [V__POPULATION] : ((s__instance(V__POPULATION,s__Integer) & ((V__POPULATION = s__CardinalityFn(s__ResidentFn(V__AREA))) & (V__QUANTITY2 = s__DivisionFn(V__QUANTITY1,V__POPULATION)))))))) )
|
Mid-level-ontology.kif 9383-9396 | If equal the per capita 1 of %2 and X Y(s), then there exists Z such that equal Z, the number of instances in the resident of W, equal X, V, and Z |
| ! [V__ATOM : $i,V__NUMBER : $int,V__SUBSTANCE : $i] : (((s__protonNumber(V__SUBSTANCE,V__NUMBER) & s__part(V__ATOM, V__SUBSTANCE) & (s__instance(V__ATOM, s__Atom) | s__instance(V__ATOM, s__Molecule))) => ( ? [V__PROTON:$i] : (V__NUMBER = s__CardinalityFn(s__KappaFn(V__PROTON, (s__part(V__PROTON, V__ATOM) & s__instance(V__PROTON, s__Proton)))))))) | Mid-level-ontology.kif 23961-23974 | If X is a proton number of Y, Z is a part of Y, and Z is an instance of atom or Z is an instance of molecule, then there exists W such that equal X and the number of instances in the class described by W |
| ! [V__ATOM : $i,V__NUMBER : $int,V__SUBSTANCE : $i] : (((s__electronNumber(V__SUBSTANCE,V__NUMBER) & s__part(V__ATOM, V__SUBSTANCE) & (s__instance(V__ATOM, s__Atom) | s__instance(V__ATOM, s__Molecule))) => ( ? [V__ELECTRON:$i] : (V__NUMBER = s__CardinalityFn(s__KappaFn(V__ELECTRON, (s__part(V__ELECTRON, V__ATOM) & s__instance(V__ELECTRON, s__Electron)))))))) | Mid-level-ontology.kif 23984-23997 | If X is an electron number of Y, Z is a part of Y, and Z is an instance of atom or Z is an instance of molecule, then there exists W such that equal X and the number of instances in the class described by W |
| ! [V__X : $i] : ((s__attribute(V__X, s__Celebrity) => ( ? [V__A:$i] : (($greater(s__CardinalityFn(s__KappaFn(V__A, s__acquaintance(V__A, V__X))),1000)))))) | Mid-level-ontology.kif 24464-24471 | If celebrity is an attribute of X, then there exists Y such that the number of instances in the class described by Y is greater than 1000 |
| ! [V__MEM : $i,V__NUM : $int,V__ORG : $i] : ((s__memberCount(V__ORG, V__NUM) => V__NUM = s__CardinalityFn(s__KappaFn(V__MEM, s__member(V__MEM, V__ORG))))) | Mid-level-ontology.kif 24918-24924 | If X is a member count of Y, then equal X and the number of instances in the class described by Z |
| ! [V__AREA : $i,V__INTEGER : $int,V__SATELLITE : $i,V__SATELLITETYPE : $i,V__SYSTEM : $i] : ((s__communicationSatelliteForArea(V__AREA, V__SATELLITETYPE, V__INTEGER) => V__INTEGER = s__CardinalityFn(s__KappaFn(V__SATELLITE, (s__instance(V__SATELLITE, V__SATELLITETYPE) & s__instance(V__SYSTEM, s__CommunicationSystem) & s__located(V__SYSTEM, V__AREA) & s__engineeringSubcomponent(V__SATELLITE, V__SYSTEM)))))) | Communications.kif 123-132 | If there are X communiation satellite of type Y in Z, then equal X and the number of instances in the class described by W |
| ! [V__CITY] : (((s__instance(V__CITY,s__City) & s__part(V__CITY,s__France)) => s__lessThanOrEqualTo(s__CardinalityFn(s__ResidentFn(V__CITY)) ,s__CardinalityFn(s__ResidentFn(s__ParisFrance)))) )
|
CountriesAndRegions.kif 59-65 | If X is an instance of city and X is a part of france, then the number of instances in the resident of X is less than or equal to the number of instances in the resident of paris |
| ! [V__CITY] : (((s__instance(V__CITY,s__AmericanCity) & s__part(V__CITY,s__California) & ~((V__CITY = s__LosAngelesCalifornia))) => s__greaterThan(s__CardinalityFn(s__ResidentFn(s__LosAngelesCalifornia)) ,s__CardinalityFn(s__ResidentFn(V__CITY)))) )
|
CountriesAndRegions.kif 812-817 | If X is an instance of american city, X is a part of california, and equal X and los angeles california, then the number of instances in the resident of los angeles california is greater than the number of instances in the resident of X |
| ! [V__STATE] : (((s__instance(V__STATE,s__AmericanState) & ~((V__STATE = s__California))) => s__greaterThan(s__CardinalityFn(s__ResidentFn(s__California)) ,s__CardinalityFn(s__ResidentFn(V__STATE)))) )
|
CountriesAndRegions.kif 897-901 | If X is an instance of american state and equal X and california, then the number of instances in the resident of california is greater than the number of instances in the resident of X |
| ! [V__CITY] : ((s__instance(V__CITY,s__AmericanCity) => s__lessThanOrEqualTo(s__CardinalityFn(s__ResidentFn(V__CITY)) ,s__CardinalityFn(s__ResidentFn(s__NewYorkCityUnitedStates)))) )
|
CountriesAndRegions.kif 2135-2139 | If X is an instance of american city, then the number of instances in the resident of X is less than or equal to the number of instances in the resident of new york city united states |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| s__CardinalityFn(s__Continent) = n__7
|
Merge.kif 14496-14496 | equal the number of instances in continent and 7 |
| ! [V__SIDE : $i] : (s__CardinalityFn(s__KappaFn(V__SIDE, s__sideOfFigure(V__SIDE, s__Triangle))) = 3) | Mid-level-ontology.kif 5669-5672 | equal the number of instances in the class described by X and 3 |
| ! [V__SIDE : $i] : (s__CardinalityFn(s__KappaFn(V__SIDE, s__sideOfFigure(V__SIDE, s__CircleSector))) = 3) | Mid-level-ontology.kif 5792-5795 | equal the number of instances in the class described by X and 3 |
| ! [V__SIDE : $i] : (s__CardinalityFn(s__KappaFn(V__SIDE, s__sideOfFigure(V__SIDE, s__CircularSegment))) = 2) | Mid-level-ontology.kif 6067-6070 | equal the number of instances in the class described by X and 2 |
| ! [V__AREA : $i,V__PERSON : $i] : (s__PopulationFn(V__AREA) = s__CardinalityFn(s__KappaFn(V__PERSON, (s__instance(V__PERSON, s__Human) & s__inhabits(V__PERSON, V__AREA))))) | Mid-level-ontology.kif 34143-34148 | equal the population of X and the number of instances in the class described by Y |
| ! [V__AREA : $i,V__O : $i,V__OI : $i] : (s__OrganismPopulationFn(V__O, V__AREA) = s__CardinalityFn(s__KappaFn(V__OI, (s__instance(V__OI, V__O) & s__located(V__OI, V__AREA))))) | Mid-level-ontology.kif 34167-34172 | equal individuals of type X in Y. and the number of instances in the class described by Z |
| s__greaterThanOrEqualTo(s__CardinalityFn(s__TwelveApostles),n__11)
|
Media.kif 1912-1912 | The number of instances in Twelve apostles is greater than or equal to 11 |
| s__lessThanOrEqualTo(s__CardinalityFn(s__TwelveApostles),n__12)
|
Media.kif 1913-1913 | The number of instances in Twelve apostles is less than or equal to 12 |
| s__CardinalityFn(s__NativityMagi) = n__3
|
Media.kif 1950-1950 | equal the number of instances in Nativity magi and 3 |
| ! [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 |
| ! [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 |
|