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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - cardinality
cardinality

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


(documentation cardinality EnglishLanguage "(cardinality ?SET ?NUMBER) means that there are ?NUMBER of elements in the SetOrClass ?SET.") Government.kif 403-404
(domain cardinality 1 SetOrClass) Government.kif 400-400
(domain cardinality 2 NonnegativeInteger) Government.kif 401-401
(instance cardinality BinaryPredicate) Government.kif 399-399

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


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

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


(=>
    (cardinality ?SET ?COUNT)
    (equal
        (CardinalityFn ?SET) ?COUNT))		 Government.kif 406-408

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


(<=>
    (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
(<=>
    (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT)
    (cardinality
        (KappaFn ?ITEM
            (and
                (instance ?ITEM ?TYPE)
                (located ?ITEM ?AREA))) ?COUNT))		 Transportation.kif 1221-1228
(=>
    (and
        (instance ?SET SetOrClass)
        (equal
            (CardinalityFn ?SET) ?COUNT))
    (cardinality ?SET ?COUNT))		 Government.kif 410-414