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 | cardinality は 2進述語 の 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 |
![]() |
![]() |