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 | Liste est une sous-classe de abstrait |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2917-2917 | NullList est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7580-7580 | Le domaine de AmountsFn est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3074-3074 | Le domaine de ListConcatenateFn est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2935-2935 | Le domaine de ListFn est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1995-1995 | Le domaine de Mean3SecondWindSpeedListFn est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3164-3164 | Le domaine de SubListFn est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | Music.kif 49-49 | Album est une sous-classe de liste |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1927-1927 | ConsecutiveTimeIntervalList est une sous-classe de liste |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1714-1714 | MeasuringList est une sous-classe de liste |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1782-1782 | MeasuringResultList est une sous-classe de liste |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1119-1119 | MusicChart est une sous-classe de liste |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1817-1817 | NumberList est une sous-classe de liste |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2469-2469 | SRPResults est une sous-classe de liste |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2903-2903 | Liste unique est une sous-classe de liste |
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 | Le nombre 1 argument de AverageFn est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3226-3226 | Le nombre 1 argument de FirstFn est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3206-3206 | Le nombre 1 argument de LastFn est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3072-3072 | Le nombre 1 argument de ListConcatenateFn est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3073-3073 | Le nombre 2 argument de ListConcatenateFn est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3014-3014 | Le nombre 1 argument de ListLengthFn est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2977-2977 | Le nombre 1 argument de ListOrderFn est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3240-3240 | Le nombre 1 argument de ListSumFn est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1681-1681 | Le nombre 1 argument de MaxValueFn est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1503-1503 | Le nombre 1 argument de StandardDeviationFn est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3163-3163 | Le nombre 3 argument de SubListFn est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1447-1447 | Le nombre 2 argument de VarianceAverageFn est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1470-1470 | Le nombre 1 argument de VarianceFn est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5360-5360 | Le nombre 1 argument de average est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1296-1296 | Le nombre 2 argument de commandLineArguments est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3320-3320 | Le nombre 1 argument de identicalListItems est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3321-3321 | Le nombre 2 argument de identicalListItems est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3107-3107 | Le nombre 2 argument de inList est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3120-3120 | Le nombre 1 argument de subList est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3121-3121 | Le nombre 2 argument de subList est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 763-763 | Le nombre 2 argument de viewedItemList est une instance de liste |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3232-3237 |
consequent |