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 cardinality の数値 1 引数は 同じセットまたはクラスinstance では
(domain cardinality 2 NonnegativeInteger) Government.kif 401-401 cardinality の数値 2 引数は 非負整数instance では
(instance cardinality BinaryPredicate) Government.kif 399-399 cardinality2進述語instance では

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 13215-13215
(termFormat ChineseTraditionalLanguage cardinality "基數") domainEnglishFormat.kif 13214-13214
(termFormat EnglishLanguage cardinality "cardinality") domainEnglishFormat.kif 13213-13213

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 地理的地域, AirportWithPavedRunway に対する class and 非負整数 記号文字列 エンティティー cardinality 記号文字列で記述される class and 非負整数
(<=>
    (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT)
    (cardinality
        (KappaFn ?ITEM
            (and
                (instance ?ITEM ?TYPE)
                (located ?ITEM ?AREA))) ?COUNT))
Transportation.kif 1221-1228 totalFacilityTypeInArea 地理的地域, クラス and 非負整数 cardinality エンティティー class and 非負整数
(=>
    (and
        (instance ?SET SetOrClass)
        (equal
            (CardinalityFn ?SET) ?COUNT))
    (cardinality ?SET ?COUNT))
Government.kif 410-414

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


(cardinality
    (ExtensionFn DevelopedCountry) 35)
Economy.kif 144-144 cardinality DevelopedCountry に対する class and 35
(cardinality
    (ExtensionFn DevelopingCountry) 126)
Economy.kif 613-613 cardinality DevelopingCountry に対する class and 126
(cardinality
    (ExtensionFn LeastDevelopedCountry) 42)
Economy.kif 405-405 cardinality LeastDevelopedCountry に対する class and 42
(cardinality
    (ExtensionFn LessDevelopedCountry) 172)
Economy.kif 229-229 cardinality LessDevelopedCountry に対する class 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 3.0 is open source software produced by Articulate Software and its partners