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