|
|
   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 | 子類 List and Abstract |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2917-2917 | 例 空列表 and List |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7580-7580 | 範圍 AmountsFn and List |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3074-3074 | 範圍 列表連接 and List |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2935-2935 | 範圍 名單 and List |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1995-1995 | 範圍 Mean3SecondWindSpeedListFn and List |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3164-3164 | 範圍 SubListFn and List |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 49-49 | 子類 Album and List |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1927-1927 | 子類 ConsecutiveTimeIntervalList and List |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1714-1714 | 子類 MeasuringList and List |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1782-1782 | 子類 MeasuringResultList and List |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1119-1119 | 子類 MusicChart and List |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1817-1817 | 子類 NumberList and List |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2469-2469 | 子類 SRPResults and List |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2903-2903 | 子類 UniqueList and List |
| 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 and List |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3226-3226 | 域 第一, 1 and List |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3206-3206 | 域 持續, 1 and List |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3072-3072 | 域 列表連接, 1 and List |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3073-3073 | 域 列表連接, 2 and List |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3014-3014 | 域 列表長度, 1 and List |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2977-2977 | 域 清單順序, 1 and List |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3240-3240 | 域 ListSumFn, 1 and List |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1681-1681 | 域 MaxValueFn, 1 and List |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1503-1503 | 域 StandardDeviationFn, 1 and List |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3163-3163 | 域 SubListFn, 3 and List |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1447-1447 | 域 VarianceAverageFn, 2 and List |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1470-1470 | 域 VarianceFn, 1 and List |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5360-5360 | 域 平均, 1 and List |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1296-1296 | 域 命令行參數, 2 and List |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3320-3320 | 域 相同的清單項目, 1 and List |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3321-3321 | 域 相同的清單項目, 2 and List |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3107-3107 | 域 在列表中, 2 and List |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3120-3120 | 域 子列表, 1 and List |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3121-3121 | 域 子列表, 2 and List |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 763-763 | 域 viewedItemList, 2 and List |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3232-3237 |
| consequent |
|
|
|
|
|