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 |
|
| (instance CardinalityFn UnaryFunction) | Merge.kif 5627-5627 | Cardinality is an instance of unary function |
| (domain CardinalityFn 1 SetOrClass) | Merge.kif 5628-5628 | The number 1 argument of cardinality is an instance of set or class |
| (range CardinalityFn Integer) | Merge.kif 5629-5629 | The range of cardinality is an instance of integer |
| (documentation CardinalityFn 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 |
|
|
| (=> (and (instance ?AREA GeopoliticalArea) (equal ?CITIZENRY (CardinalityFn (CitizenryFn ?AREA))) (equal ?POPULATION (CardinalityFn (ResidentFn ?AREA)))) (greaterThanOrEqualTo ?POPULATION ?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 |
| (<=> (and (instance ?Account PersonalAccount) (greaterThan (CardinalityFn (KappaFn ?Agent (accountHolder ?Account ?Agent))) 1)) (instance ?Account JointAccount)) |
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 |
| (=> (and (instance ?SET SetOrClass) (equal (CardinalityFn ?SET) ?COUNT)) (cardinality ?SET ?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 |
| (=> (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)) (and (instance ?YEAR (YearFn ?Y)) (equal (BirthsPerThousandFn ?AREA ?YEAR) ?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 |
| (=> (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?DEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?PERSON) (instance ?PERSON Human) (during (WhenFn ?DEATH) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)) (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandFn ?AREA ?YEAR) ?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 |
| (=> (and (instance ?BUYINGS Collection) (instance ?GMB CurrencyMeasure) (instance ?TOTAL RealNumber) (equal ?GMB (GMBFn ?BUYINGS)) (equal ?TOTAL (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Object) (exists (?BUYING) (and (member ?BUYING ?BUYINGS) (patient ?BUYING ?ITEM)))))))) (equal (ABPFn ?BUYINGS) (DivisionFn ?GMB ?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 |
| (=> (and (instance ?SELLINGS Collection) (instance ?GMV CurrencyMeasure) (instance ?TOTAL RealNumber) (equal ?GMV (GMVFn ?SELLINGS)) (equal ?TOTAL (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Object) (exists (?SELLING) (and (member ?SELLING ?SELLINGS) (patient ?SELLING ?ITEM)))))))) (equal (ASPFn ?SELLINGS) (DivisionFn ?GMV ?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 |
|
|
| (=> (instance ?SET FiniteSet) (exists (?NUMBER) (and (instance ?NUMBER NonnegativeInteger) (equal ?NUMBER (CardinalityFn ?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 |
| (=> (instance ?YEAR Year) (equal (CardinalityFn (TemporalCompositionFn ?YEAR Month)) 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 |
| (=> (and (instance ?MONTH Month) (duration ?MONTH (MeasureFn ?NUMBER DayDuration))) (equal (CardinalityFn (TemporalCompositionFn ?MONTH Day)) ?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 |
| (=> (instance ?WEEK Week) (equal (CardinalityFn (TemporalCompositionFn ?WEEK Day)) 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 |
| (=> (instance ?DAY Day) (equal (CardinalityFn (TemporalCompositionFn ?DAY Hour)) 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 |
| (=> (instance ?HOUR Hour) (equal (CardinalityFn (TemporalCompositionFn ?HOUR Minute)) 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 |
| (=> (instance ?MINUTE Minute) (equal (CardinalityFn (TemporalCompositionFn ?MINUTE Second)) 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 |
| (=> (and (instance ?COUNT Counting) (agent ?COUNT ?AGENT) (patient ?COUNT ?ENTITY)) (exists (?NUMBER) (knows ?AGENT (equal (CardinalityFn ?ENTITY) ?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 |
| (=> (atomicNumber ?TYPE ?NUMBER) (=> (and (instance ?SUBSTANCE ?TYPE) (part ?ATOM ?SUBSTANCE) (instance ?ATOM Atom)) (equal ?NUMBER (CardinalityFn (KappaFn ?PROTON (and (part ?PROTON ?ATOM) (instance ?PROTON 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 |
| (=> (instance ?BOX Box) (equal (CardinalityFn (KappaFn ?SIDE (or (top ?SIDE ?BOX) (bottom ?SIDE ?BOX) (side ?SIDE ?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 |
| (=> (instance ?P Polyhedron) (greaterThanOrEqualTo (CardinalityFn (KappaFn ?F (faceOfFigure ?F ?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 |
| (=> (and (instance ?PY Pyramid) (instance ?POL Polygon) (faceOfFigure ?POL ?PY) (sideOfFigure ?S ?POL) (instance ?T Triangle) (faceOfFigure ?T ?PY) (sideOfFigure ?S ?T) (sideOfIntersection ?POL ?T ?S)) (equal (CardinalityFn (KappaFn ?S (sideOfFigure ?S ?POL))) (CardinalityFn (KappaFn ?T (faceOfFigure ?T ?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 |
| (=> (instance ?P SquarePyramid) (equal (CardinalityFn (KappaFn ?F (faceOfFigure ?F ?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 |
| (=> (instance ?C Cube) (equal (CardinalityFn (KappaFn ?F (faceOfFigure ?F ?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 |
| (=> (instance ?QUAD Quadrilateral) (equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE ?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 |
| (=> (equal (PerCapitaFn (MeasureFn ?QUANTITY1 ?U) ?AREA) (MeasureFn ?QUANTITY2 ?U)) (exists (?POPULATION) (and (equal ?POPULATION (CardinalityFn (ResidentFn ?AREA))) (equal ?QUANTITY2 (DivisionFn ?QUANTITY1 ?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 |
| (=> (and (protonNumber ?SUBSTANCE ?NUMBER) (part ?ATOM ?SUBSTANCE) (or (instance ?ATOM Atom) (instance ?ATOM Molecule))) (exists (?PROTON) (equal ?NUMBER (CardinalityFn (KappaFn ?PROTON (and (part ?PROTON ?ATOM) (instance ?PROTON 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 |
| (=> (and (electronNumber ?SUBSTANCE ?NUMBER) (part ?ATOM ?SUBSTANCE) (or (instance ?ATOM Atom) (instance ?ATOM Molecule))) (exists (?ELECTRON) (equal ?NUMBER (CardinalityFn (KappaFn ?ELECTRON (and (part ?ELECTRON ?ATOM) (instance ?ELECTRON 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 |
| (=> (attribute ?X Celebrity) (exists (?A) (greaterThan (CardinalityFn (KappaFn ?A (acquaintance ?A ?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 |
| (=> (memberCount ?ORG ?NUM) (equal ?NUM (CardinalityFn (KappaFn ?MEM (member ?MEM ?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 |
| (=> (communicationSatelliteForArea ?AREA ?SATELLITETYPE ?INTEGER) (equal ?INTEGER (CardinalityFn (KappaFn ?SATELLITE (and (instance ?SATELLITE ?SATELLITETYPE) (instance ?SYSTEM CommunicationSystem) (located ?SYSTEM ?AREA) (engineeringSubcomponent ?SATELLITE ?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 |
| (=> (and (instance ?CITY City) (part ?CITY France)) (lessThanOrEqualTo (CardinalityFn (ResidentFn ?CITY)) (CardinalityFn (ResidentFn 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 |
| (=> (and (instance ?CITY AmericanCity) (part ?CITY California) (not (equal ?CITY LosAngelesCalifornia))) (greaterThan (CardinalityFn (ResidentFn LosAngelesCalifornia)) (CardinalityFn (ResidentFn ?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 |
| (=> (and (instance ?STATE AmericanState) (not (equal ?STATE California))) (greaterThan (CardinalityFn (ResidentFn California)) (CardinalityFn (ResidentFn ?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 |
| (=> (instance ?CITY AmericanCity) (lessThanOrEqualTo (CardinalityFn (ResidentFn ?CITY)) (CardinalityFn (ResidentFn 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 |
|
|
|