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


KB Term:  Term intersection
English Word: 

  cardinality

 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

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