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

KB Term:  Term intersection
English Word: 

Sigma KEE - cardinality
cardinality

appearance as argument number 1
-------------------------


(instance cardinality BinaryPredicate) Government.kif 399-399 cardinality is an instance of binary predicate
(domain cardinality 1 SetOrClass) Government.kif 400-400 The number 1 argument of cardinality is an instance of set or class
(domain cardinality 2 NonnegativeInteger) Government.kif 401-401 The number 2 argument of cardinality is an instance of nonnegative integer
(documentation cardinality EnglishLanguage "(cardinality ?SET ?NUMBER) means that there are ?NUMBER of elements in the SetOrClass ?SET.") Government.kif 403-404 The number 2 argument of cardinality is an instance of nonnegative integer

appearance as argument number 2
-------------------------


(format EnglishLanguage cardinality "%2 is %n a cardinality of %1") domainEnglishFormat.kif 374-374
(format ChineseTraditionalLanguage cardinality "%2 %n 是 %1 的 cardinality") domainEnglishFormat.kif 375-375
(format ChineseLanguage cardinality "%2 %n 是 %1 的 cardinality") domainEnglishFormat.kif 376-376
(termFormat EnglishLanguage cardinality "cardinality") domainEnglishFormat.kif 13212-13212
(termFormat ChineseTraditionalLanguage cardinality "基數") domainEnglishFormat.kif 13213-13213
(termFormat ChineseLanguage cardinality "基数") domainEnglishFormat.kif 13214-13214

antecedent
-------------------------


(=>
    (cardinality ?SET ?COUNT)
    (equal
        (CardinalityFn ?SET) ?COUNT))		 Government.kif 406-408 If X is a cardinality of Y, then equal the number of instances in Y and X

consequent
-------------------------


(=>
    (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
(<=>
    (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT)
    (cardinality
        (KappaFn ?ITEM
            (and
                (instance ?ITEM ?TYPE)
                (located ?ITEM ?AREA))) ?COUNT))		 Transportation.kif 1221-1228 X is total facility type in area Y for Z if and only if Z is a cardinality of the class described by W
(<=>
    (totalFacilityTypeInArea ?AREA
        (ExtensionFn AirportWithPavedRunway) ?COUNT)
    (exists (?AIRPORT ?RUNWAY)
        (cardinality
            (KappaFn ?AIRPORT
                (and
                    (instance ?AIRPORT Airport)
                    (instance ?RUNWAY PavedRunway)
                    (part ?RUNWAY ?AIRPORT)
                    (located ?AIRPORT ?AREA))) ?COUNT)))		 Transportation.kif 1349-1359 X is total facility type in area the class corresponding to airport with paved runway for Y if, only if there exist Z, and W such that Y is a cardinality of the class described by Z

appearance as argument number 0
-------------------------


(cardinality
    (ExtensionFn DevelopedCountry) 35)		 Economy.kif 144-144 35 is a cardinality of the class corresponding to developed country
(cardinality
    (ExtensionFn LessDevelopedCountry) 172)		 Economy.kif 229-229 172 is a cardinality of the class corresponding to less developed country
(cardinality
    (ExtensionFn LeastDevelopedCountry) 42)		 Economy.kif 405-405 42 is a cardinality of the class corresponding to least developed country
(cardinality
    (ExtensionFn DevelopingCountry) 126)		 Economy.kif 613-613 126 is a cardinality of the class corresponding to developing country


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


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