Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Order

 Sigma KEE - CardinalityFn
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
-------------------------


(termFormat EnglishLanguage CardinalityFn "cardinality") domainEnglishFormat.kif 13218-13218
(termFormat ChineseTraditionalLanguage CardinalityFn "基數") domainEnglishFormat.kif 13219-13219
(termFormat ChineseLanguage CardinalityFn "基数") domainEnglishFormat.kif 13220-13220
(format EnglishLanguage CardinalityFn "the number of instances in %1") english_format.kif 511-511

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
-------------------------


(equal
    (CardinalityFn Continent) 7)		 Merge.kif 14496-14496 equal the number of instances in continent and 7
(equal
    (CardinalityFn
        (KappaFn ?SIDE
            (sideOfFigure ?SIDE Triangle))) 3)		 Mid-level-ontology.kif 5669-5672 equal the number of instances in the class described by X and 3
(equal
    (CardinalityFn
        (KappaFn ?SIDE
            (sideOfFigure ?SIDE CircleSector))) 3)		 Mid-level-ontology.kif 5792-5795 equal the number of instances in the class described by X and 3
(equal
    (CardinalityFn
        (KappaFn ?SIDE
            (sideOfFigure ?SIDE CircularSegment))) 2)		 Mid-level-ontology.kif 6067-6070 equal the number of instances in the class described by X and 2
(equal
    (PopulationFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (inhabits ?PERSON ?AREA)))))		 Mid-level-ontology.kif 34143-34148 equal the population of X and the number of instances in the class described by Y
(equal
    (OrganismPopulationFn ?O ?AREA)
    (CardinalityFn
        (KappaFn ?OI
            (and
                (instance ?OI ?O)
                (located ?OI ?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
(greaterThanOrEqualTo
    (CardinalityFn TwelveApostles) 11)		 Media.kif 1912-1912 The number of instances in Twelve apostles is greater than or equal to 11
(lessThanOrEqualTo
    (CardinalityFn TwelveApostles) 12)		 Media.kif 1913-1913 The number of instances in Twelve apostles is less than or equal to 12
(equal
    (CardinalityFn NativityMagi) 3)		 Media.kif 1950-1950 equal the number of instances in Nativity magi and 3
(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 1136-1145 equal the available for military service male of X and the number of instances in the class described by Y
(equal
    (FitForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (subclass ?PROCESS MilitaryProcess)
                (fitForMilitaryService ?PERSON ?PROCESS)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?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
(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 1197-1210 equal the reaching military age annually male of X, Y, and the number of instances in the class described by Z
(and
    (instance ?YEAR
        (YearFn ?Y))
    (equal
        (ChildrenBornPerWomanFn ?AREA ?YEAR)
        (CardinalityFn
            (KappaFn ?INFANT
                (and
                    (instance ?BIRTH Birth)
                    (experiencer ?BIRTH ?INFANT)
                    (agent ?BIRTH ?WOMAN)
                    (instance ?WOMAN Human)
                    (attribute ?WOMAN Female)
                    (holdsDuring ?YEAR
                        (inhabits ?WOMAN ?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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners