| List(串列) | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1952-1956 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2877-2884 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 584-588 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2875-2875 | 串列 是 抽象体 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2917-2917 | 空列表 是 串列 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7580-7580 | AmountsFn 的 range 是 串列 的实例 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3074-3074 | 连接表列函数 的 range 是 串列 的实例 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2935-2935 | 表列函数 的 range 是 串列 的实例 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1995-1995 | 平均3秒风速表列 的 range 是 串列 的实例 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3164-3164 | SubListFn 的 range 是 串列 的实例 |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 49-49 | Album 是 串列 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1927-1927 | 连续时间间隔表列 是 串列 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1714-1714 | 量度串列 是 串列 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1782-1782 | 量度结果串列 是 串列 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1119-1119 | MusicChart 是 串列 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1817-1817 | 数字串列 是 串列 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2469-2469 | SRPResults 是 串列 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2903-2903 | 唯一串列 是 串列 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 913-913 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1033-1033 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 589-589 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 119-119 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 122-122 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2274-2274 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 541-541 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 124-124 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 156-156 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 610-610 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3271-3271 | AverageFn 的 1 数量 是 串列 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3226-3226 | 第一 的 1 数量 是 串列 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3206-3206 | 持续 的 1 数量 是 串列 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3072-3072 | 连接表列函数 的 1 数量 是 串列 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3073-3073 | 连接表列函数 的 2 数量 是 串列 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3014-3014 | 找出表列长度的函数 的 1 数量 是 串列 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2977-2977 | 找出表列顺序的函数 的 1 数量 是 串列 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3240-3240 | ListSumFn 的 1 数量 是 串列 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1681-1681 | 最大值 的 1 数量 是 串列 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1503-1503 | 标准偏差 的 1 数量 是 串列 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3163-3163 | SubListFn 的 3 数量 是 串列 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1447-1447 | 方差均差函数 的 2 数量 是 串列 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1470-1470 | 方差函数 的 1 数量 是 串列 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5360-5360 | 平均 的 1 数量 是 串列 的 instance |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1296-1296 | 命令行参数 的 2 数量 是 串列 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3320-3320 | 相同的清单项目 的 1 数量 是 串列 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3321-3321 | 相同的清单项目 的 2 数量 是 串列 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3107-3107 | 在列表内 的 2 数量 是 串列 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3120-3120 | zi列表 的 1 数量 是 串列 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3121-3121 | zi列表 的 2 数量 是 串列 的 instance |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 763-763 | viewedItemList 的 2 数量 是 串列 的 instance |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3232-3237 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 357-390 | 年 是 那个 年EAR year 的 instance 和 地缘政治区域 和 那个 年 的 male 出生估计寿命 equal 实数 若且唯若 有存在 串列， 另一个 整数,， ， 符号串,， ， 实体,， ， 另一个 实体， and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 403-436 | 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 的 female 出生预期寿命 equal 实数 若且唯若 有存在 串列， 另一个 整数,， ， 符号串,， ， 实体,， ， 另一个 实体， and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 310-342 | 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 的出生预期 life equal 实数 若且唯若 有存在 串列， 另一个 整数,， ， 符号串,， ， 实体,， ， 另一个 实体， and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2035-2053 |
|
|
|