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 is a subclass of abstract |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2917-2917 | Null list is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7580-7580 | The range of Amounts fn is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3074-3074 | The range of list concatenate is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2935-2935 | The range of list is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1995-1995 | The range of mean three second wind speed list is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3164-3164 | The range of sub-list function is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Music.kif 49-49 | Album is a subclass of list |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1927-1927 | Consecutive time interval list is a subclass of list |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1714-1714 | Measuring list is a subclass of list |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1782-1782 | Measuring result list is a subclass of list |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1119-1119 | Music charts is a subclass of list |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1817-1817 | Number list is a subclass of list |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2477-2477 | Search results is a subclass of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2903-2903 | Unique list is a subclass of 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 | The number 1 argument of average function is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3226-3226 | The number 1 argument of first is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3206-3206 | The number 1 argument of last is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3072-3072 | The number 1 argument of list concatenate is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3073-3073 | The number 2 argument of list concatenate is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3014-3014 | The number 1 argument of list length is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2977-2977 | The number 1 argument of list order is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3240-3240 | The number 1 argument of sum of elements is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1681-1681 | The number 1 argument of maximum value is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1503-1503 | The number 1 argument of standard deviation is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3163-3163 | The number 3 argument of sub-list function is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1447-1447 | The number 2 argument of variance average function is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1470-1470 | The number 1 argument of variance function is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5360-5360 | The number 1 argument of average is an instance of list |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1296-1296 | The number 2 argument of command line arguments is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3320-3320 | The number 1 argument of identical list items is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3321-3321 | The number 2 argument of identical list items is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3107-3107 | The number 2 argument of in list is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3120-3120 | The number 1 argument of sub list is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3121-3121 | The number 2 argument of sub list is an instance of list |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 763-763 | The number 2 argument of list of viewed items is an instance of list |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3232-3237 |
consequent |
![]() |
![]() |
![]() |