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 428-429
(domain cardinality 1 SetOrClass) Government.kif 425-425 domain cardinality, 1 and SetOrClass
(domain cardinality 2 NonnegativeInteger) Government.kif 426-426 domain cardinality, 2 and NonnegativeInteger
(instance cardinality AsymmetricRelation) Government.kif 424-424 instance cardinality and AsymmetricRelation
(instance cardinality BinaryPredicate) Government.kif 423-423 instance cardinality and BinaryPredicate

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 13141-13141
(termFormat ChineseTraditionalLanguage cardinality "基數") domainEnglishFormat.kif 13140-13140
(termFormat EnglishLanguage cardinality "cardinality") domainEnglishFormat.kif 13139-13139

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


(=>
    (cardinality ?SET ?COUNT)
    (equal
        (CardinalityFn ?SET) ?COUNT))		 Government.kif 431-433

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


(<=>
    (totalFacilityTypeInArea ?AREA
        (ExtensionFn AirportWithPavedRunway) ?COUNT)
    (cardinality
        (KappaFn ?AIRPORT
            (exists (?RUNWAY)
                (and
                    (instance ?AIRPORT Airport)
                    (instance ?RUNWAY PavedRunway)
                    (part ?RUNWAY ?AIRPORT)
                    (located ?AIRPORT ?AREA)))) ?COUNT))		 Transportation.kif 1266-1276 totalFacilityTypeInArea GeographicArea, ExtensionFn AirportWithPavedRunway and NonnegativeInteger cardinality KappaFn SymbolicString and entity instance SymbolicString and Airport instance entity and PavedRunway part entity and SymbolicString located SymbolicString and GeographicArea and NonnegativeInteger
(<=>
    (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT)
    (cardinality
        (KappaFn ?ITEM
            (and
                (instance ?ITEM ?TYPE)
                (located ?ITEM ?AREA))) ?COUNT))		 Transportation.kif 1210-1217 totalFacilityTypeInArea GeographicArea, Class and NonnegativeInteger cardinality KappaFn SymbolicString and instance SymbolicString and Class located SymbolicString and GeographicArea and NonnegativeInteger
(=>
    (and
        (instance ?SET SetOrClass)
        (equal
            (CardinalityFn ?SET) ?COUNT))
    (cardinality ?SET ?COUNT))		 Government.kif 435-439

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


(cardinality
    (ExtensionFn DevelopedCountry) 35)		 Economy.kif 144-144 cardinality ExtensionFn DevelopedCountry and 35
(cardinality
    (ExtensionFn DevelopingCountry) 126)		 Economy.kif 608-608 cardinality ExtensionFn DevelopingCountry and 126
(cardinality
    (ExtensionFn LeastDevelopedCountry) 42)		 Economy.kif 405-405 cardinality ExtensionFn LeastDevelopedCountry and 42
(cardinality
    (ExtensionFn LessDevelopedCountry) 172)		 Economy.kif 229-229 cardinality ExtensionFn LessDevelopedCountry and 172


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners