| appearance as argument number 1 |
|
| (documentation cardinality EnglishLanguage "(cardinality ?SET ?NUMBER) means that there are ?NUMBER of elements in the SetOrClass ?SET.") | Government.kif 439-440 | |
| (domain cardinality 1 SetOrClass) | Government.kif 436-436 | 基数 的 1 数量 是 集或类 的 instance |
| (domain cardinality 2 NonnegativeInteger) | Government.kif 437-437 | 基数 的 2 数量 是 非负整数 的 instance |
| (instance cardinality BinaryPredicate) | Government.kif 435-435 | 基数 是 二元谓语 的 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 13206-13206 | |
| (termFormat ChineseTraditionalLanguage cardinality "基數") | domainEnglishFormat.kif 13205-13205 | |
| (termFormat EnglishLanguage cardinality "cardinality") | domainEnglishFormat.kif 13204-13204 |
| antecedent |
|
|
| (=> (cardinality ?SET ?COUNT) (equal (CardinalityFn ?SET) ?COUNT)) |
Government.kif 442-444 |
| 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 1277-1287 | 地理区域 是 对于 非负整数 在地区 和 机场有着铺设跑道 对应的 Class 的 total 设施类别 若且唯若 有存在 符号串 和 实体 这样 那个 非负整数 是 那个 符号串 所描述的类别 的 cardinality |
| (<=> (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT) (cardinality (KappaFn ?ITEM (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA))) ?COUNT)) |
Transportation.kif 1221-1228 | 地理区域 是 对于 非负整数 在地区 类 的 total 设施类别 若且唯若 那个 非负整数 是 符号串 所描述的类别 的 cardinality |
| (=> (and (instance ?SET SetOrClass) (equal (CardinalityFn ?SET) ?COUNT)) (cardinality ?SET ?COUNT)) |
Government.kif 446-450 |
| appearance as argument number 0 |
|
|
| (cardinality (ExtensionFn DevelopedCountry) 35) |
Economy.kif 144-144 | 35 是 和 发达国家 对应的 Class 的 cardinality |
| (cardinality (ExtensionFn DevelopingCountry) 126) |
Economy.kif 613-613 | 126 是 和 发展中国家 对应的 Class 的 cardinality |
| (cardinality (ExtensionFn LeastDevelopedCountry) 42) |
Economy.kif 405-405 | 42 是 和 最不发达国家 对应的 Class 的 cardinality |
| (cardinality (ExtensionFn LessDevelopedCountry) 172) |
Economy.kif 229-229 | 172 是 和 较未发达国家 对应的 Class 的 cardinality |
|
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