| appearance as argument number 1 |
|
|
| s__documentation(s__List,s__ChineseLanguage,'"每个 List 是项目一个独特有序的n元组。 一般来说，List 是由 ListFn Function 来造成的，它可以接受任何数量的参数，然后交出一个有相同顺序项目的 List。 任何东西，包括其它的 List 都可以是一个 List 的项目。注：List 是可以延伸的 - 两个含有相同项目以 相同顺序排列的列表是一样的。另外也注意 一个 List 可以是空项的，在这情况下，这个 List 是个 NullList。"')
|
chinese_format.kif 1952-1956 | |
| s__documentation(s__List,s__EnglishLanguage,'"Every List is a particular ordered n-tuple of items. Generally speaking, Lists are created by means of the ListFn Function, which takes any number of items as arguments and returns a List with the items in the same order. Anything, including other Lists, may be an item in a List. Note too that Lists are extensional - two lists that have the same items in the same order are identical. Note too that a List may contain no items. In that case, the List is the NullList."')
|
Merge.kif 2773-2780 | |
| s__instance(s__Abstract,s__SetOrClass) s__instance(s__List,s__SetOrClass) s__subclass(s__List,s__Abstract)
|
Merge.kif 2771-2771 | List is a subclass of abstract |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| s__domain(s__AverageFn__m,n__1,s__List)
|
Merge.kif 3162-3162 | The number 1 argument of average function is an instance of list |
| s__domain(s__FirstFn__m,n__1,s__List)
|
Merge.kif 3116-3116 | The number 1 argument of first is an instance of list |
| s__domain(s__LastFn__m,n__1,s__List)
|
Merge.kif 3101-3101 | The number 1 argument of last is an instance of list |
| s__domain(s__ListConcatenateFn__m,n__1,s__List)
|
Merge.kif 2968-2968 | The number 1 argument of list concatenate is an instance of list |
| s__domain(s__ListConcatenateFn__m,n__2,s__List)
|
Merge.kif 2969-2969 | The number 2 argument of list concatenate is an instance of list |
| s__domain(s__ListLengthFn__m,n__1,s__List)
|
Merge.kif 2910-2910 | The number 1 argument of list length is an instance of list |
| s__domain(s__ListOrderFn__m,n__1,s__List)
|
Merge.kif 2873-2873 | The number 1 argument of list order is an instance of list |
| s__domain(s__ListSumFn__m,n__1,s__List)
|
Merge.kif 3131-3131 | The number 1 argument of the &%sum of elements in %1 is an instance of list |
| s__domain(s__MaxValueFn__m,n__1,s__List)
|
Weather.kif 1680-1680 | The number 1 argument of maximum value is an instance of list |
| s__domain(s__StandardDeviationFn__m,n__1,s__List)
|
Weather.kif 1502-1502 | The number 1 argument of standard deviation is an instance of list |
| s__domain(s__SubListFn__m,n__3,s__List)
|
Merge.kif 3058-3058 | The number 3 argument of sub-list function is an instance of list |
| s__domain(s__VarianceAverageFn__m,n__2,s__List)
|
Weather.kif 1446-1446 | The number 2 argument of variance average function is an instance of list |
| s__domain(s__VarianceFn__m,n__1,s__List)
|
Weather.kif 1469-1469 | The number 1 argument of variance function is an instance of list |
| s__domain(s__average__m,n__1,s__List)
|
Merge.kif 5127-5127 | The number 1 argument of average is an instance of list |
| s__domain(s__commandLineArguments__m,n__2,s__List)
|
QoSontology.kif 1301-1301 | The number 2 argument of command line arguments is an instance of list |
| s__domain(s__identicalListItems__m,n__1,s__List)
|
Merge.kif 3211-3211 | The number 1 argument of identical list items is an instance of list |
| s__domain(s__identicalListItems__m,n__2,s__List)
|
Merge.kif 3212-3212 | The number 2 argument of identical list items is an instance of list |
| s__domain(s__inList__m,n__2,s__List)
|
Merge.kif 3002-3002 | The number 2 argument of in list is an instance of list |
| s__domain(s__subList__m,n__1,s__List)
|
Merge.kif 3015-3015 | The number 1 argument of sub list is an instance of list |
| s__domain(s__subList__m,n__2,s__List)
|
Merge.kif 3016-3016 | The number 2 argument of sub list is an instance of list |
| s__domain(s__viewedItemList__m,n__2,s__List)
|
UXExperimentalTerms.kif 952-952 | The number 2 argument of list of viewed items is an instance of list |
| antecedent |
|
|
| ( ! [V__LIST] : (((s__instance(V__LIST,s__List) & ~((V__LIST = s__NullList))) => ((s__FirstFn(V__LIST) = s__ListOrderFn(V__LIST,n__1)))) ) )
|
Merge.kif 3122-3127 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 411-442 | 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 323-353 | 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. | People.kif 367-398 | The male 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
|
| ( ! [V__SVC] : ((s__instance(V__SVC,s__ShuttleService) => (( ? [V__LIST, V__VEHICLE, V__AGENT] : ((s__instance(V__AGENT,s__Agent) & (s__agent(V__SVC,V__AGENT) & s__possesses(V__AGENT,V__VEHICLE) & s__instance(V__VEHICLE,s__Automobile) & s__instance(V__LIST,s__List) & ( ! [V__X] : ((s__inList(V__X,V__LIST) => ((s__instance(V__X,s__PostalPlace) & ( ? [V__TRANSPORT] : ((s__instance(V__TRANSPORT,s__Transportation) & s__agent(V__TRANSPORT,V__AGENT) & s__instrument(V__TRANSPORT,V__VEHICLE) & s__destination(V__TRANSPORT,V__X))))))))))))))) ) )
|
Hotel.kif 1997-2015 |
|
|
|
|