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 2811-2818 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2809-2809 | List is a subclass of abstract |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2851-2851 | Null list is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7490-7490 | The range of AmountsFn is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3008-3008 | The range of list concatenate is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2869-2869 | The range of list is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1994-1994 | 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 3098-3098 | 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 1926-1926 | Consecutive time interval list is a subclass of list |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1713-1713 | Measuring list is a subclass of list |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1781-1781 | Measuring result list is a subclass of list |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1112-1112 | Music charts is a subclass of list |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1816-1816 | Number list is a subclass of list |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2679-2679 | Search results is a subclass of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2837-2837 | 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 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3206-3206 | 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 3160-3160 | The number 1 argument of first is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3140-3140 | The number 1 argument of last is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3006-3006 | 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 3007-3007 | 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 2948-2948 | 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 2911-2911 | 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 3175-3175 | The number 1 argument of the &%sum of elements in %1 is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1680-1680 | 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 1502-1502 | 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 3097-3097 | 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 1446-1446 | 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 1469-1469 | 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 5266-5266 | The number 1 argument of average is an instance of list |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1301-1301 | 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 3255-3255 | 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 3256-3256 | 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 3041-3041 | 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 3054-3054 | 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 3055-3055 | 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 952-952 | 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 3166-3171 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | People.kif 372-405 | A year is an instance of the year the yearEAR and the male life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM
|
No TPTP formula. May not be expressible in strict first order. | People.kif 418-449 | The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM
|
No TPTP formula. May not be expressible in strict first order. | People.kif 327-357 | The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2010-2028 |
|
![]() |
![]() |